/alectryon

A collection of tools for writing technical documents that mix Coq code and prose.

Primary LanguageHTMLMIT LicenseMIT

Watchers