package rocq-navi
Extension of coq2html Document Generator
Install
Dune Dependency
Authors
Maintainers
Sources
rocqnavi.0.1.0.tar.gz
sha256=0c4bc7b206fe07f9e96ad3bf609c503d77865fd2d2ced9a0acdb6aed2498e7d7
sha512=38691568baeb5bf46769b76f917d162f794536e297cd09154833b8466f3eecb131a1aa86b8f95fc3829c7d0156934b860a17b1e1f116e6cab49264ba2974c2d4
Description
Extension of coq2html Document Generator
On This Page