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