coq2html
coq2html is an HTML documentation generator for Coq source files. It is an alternative to the standard coqdoc documentation generator distributed along with Coq. The major feature of coq2html is its ability to fold proof scripts: in the generated HTML, proof scripts are initially hidden, but can be revealed one by one by clicking on the "Proof" keyword.
- Name
- coq2html
- Main Program
coq2html- Programs
coq2html
- Homepage
- Version
- 1.4
- License
- Maintainers
- Platforms
- i686-cygwin
- x86_64-cygwin
- x86_64-darwin
- aarch64-darwin
- i686-freebsd
- x86_64-freebsd
- aarch64-freebsd
- x86_64-solaris
- aarch64-linux
- armv5tel-linux
- armv6l-linux
- armv7a-linux
- armv7l-linux
- i686-linux
- loongarch64-linux
- m68k-linux
- microblaze-linux
- microblazeel-linux
- mips-linux
- mips64-linux
- mips64el-linux
- mipsel-linux
- powerpc-linux
- powerpc64-linux
- powerpc64le-linux
- riscv32-linux
- riscv64-linux
- s390-linux
- s390x-linux
- x86_64-linux
- aarch64-netbsd
- armv6l-netbsd
- armv7a-netbsd
- armv7l-netbsd
- i686-netbsd
- m68k-netbsd
- mipsel-netbsd
- powerpc-netbsd
- riscv32-netbsd
- riscv64-netbsd
- x86_64-netbsd
- i686-openbsd
- x86_64-openbsd
- x86_64-redox
- Defined
- Source