package rocq-navi
Extension of coq2html Document Generator
Install
Dune Dependency
Authors
Maintainers
Sources
rocqnavi.0.3.1.tar.gz
md5=40b3aadc7aef01a394a2095d5b0d918c
sha512=d5c8ed4a6443994afb75306578304d24a10fe299a04b0a20a49e852e3c3ca20ad23a8511988cb5f8ec64736219ab26cd627cba749e0fe85d6494a16016099dc4
Description
Extension of coq2html Document Generator
Tags
category:Tools/Document Generator keyword:document keyword:html logpath:Published: 17 Sep 2025
On This Page