Gentoo Portage Overlays - sci-mathematics/alectryon

Newest News Repository news GLSAs Browse USE Flags Overlays More...

sci-mathematics/alectryon

Toolkit for literate programming in Coq/Rocq

Screenshots

https://github.com/cpitclaudel/alectryon/

alectryon-2.0.0

~amd64

doc emacs python_targets_python3_13 python_targets_python3_14

View

Download

Browse License: MIT

Overlay: gentoo

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

ChangeLog

ChangeLog Not Found