sci-mathematics/alectryon
Toolkit for literate programming in Coq/Rocq
USE Flags
doc
Global: Adds extra documentation (API, Javadoc, etc)
emacs
Global: Adds support for GNU Emacs
python_targets_python3_13
* This flag is undocumented *
python_targets_python3_14
* This flag is undocumented *


View
Download
Browse