package coq-coq2html
Generates HTML documentation from Coq source files. Alternative to coqdoc
Install
Dune Dependency
Authors
Maintainers
Sources
v1.0.tar.gz
md5=33d6c09ba1015b3181b2d46c56f9759b
On This Page