package rocq-navi
Extension of coq2html Document Generator
Install
Dune Dependency
Authors
Maintainers
Sources
rocqnavi.0.3.0.tar.gz
md5=e7c03ee7be5dd7e3c408af6a165e339a
sha512=efe49d88ddf0ce149530b89b1a63163839474a85a817f80002f7d55e40de0a6e6745f5cadd1f6fc8ce67dce7f5a2461527630278794d19aa431c4fa5c23ad940
Description
Extension of coq2html Document Generator
Tags
category:Tools/Document Generator keyword:document keyword:html logpath:Published: 28 Aug 2025
On This Page