package coq-coq2html
Generates HTML documentation from Coq source files. Alternative to coqdoc
Install
Dune Dependency
Authors
Maintainers
Sources
v1.3.tar.gz
sha512=7ca5f8e025665f65af2bbc592e19559b56a0ee715f5936be461dc640330ecbf77376f0dd383fc2f0e5c59f7b77f436150cafe7f63a97362f3058e6991e750890
On This Page