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