alectryon
A collection of tools for writing technical documents that mix Coq code and prose.
230 stars
10 watching
35 forks
Language: HTML
last commit: 21 days ago
Linked from 1 awesome list
alectryon A collection of tools for writing technical documents that mix Coq code and prose.
coq-community/awesome-coq