package rocq-navi
Extension of coq2html Document Generator
Install
Dune Dependency
Authors
Maintainers
Sources
rocqnavi.0.2.1.tar.gz
md5=d0db55b092ffa020bf7a4eeff6dc10a0
sha512=1207880e8112de224e3447c3f7979975d2dd3f477e24d91a35d24b1480c81c1cd767b1d9b2b4305a6b14ee3c843a2e4c9457734aed091ce7f0fe7cd6e93454de
Description
Extension of coq2html Document Generator
Tags
category:Tools/Document Generator keyword:document keyword:html logpath:Published: 25 Apr 2025
On This Page