package coq-coq2html
Generates HTML documentation from Coq source files. Alternative to coqdoc
Install
Dune Dependency
Authors
Maintainers
Sources
v1.4.tar.gz
sha256=01a6bf1ed2589e79672b1c4e2fd4589a775d7be0e2fa4c1105184a391fc1b6c4
sha512=16f98b93b5cee9ff9fabbd20672742d2f4cb7da314033e691713720526b2d12ff9d69930aff520a295c3c5644ab3db8de5c8a7eef6dff892b0243247ea5b3d5d
On This Page