coq2html

coq2html 1.4 · pkgs/by-name/co/coq2html/package.nix

Health

Risk

risk 1 low

+1 no versionCheckHook

Version

1.4 no newer release in its git tags

Channels

master 1.4 · nixos-unstable 1.4 · nixos-26.05 1.4 no channel is behind master

Hydra

succeeded 2w ago

Advisories

none open

Packaging

no versionCheckHook

Packagewhat each field means

Description

HTML documentation generator for Coq source files

Long description

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.

Homepage

https://github.com/xavierleroy/coq2html

License

GPL-2.0-or-later

Platforms

45 platforms: Linux, Darwin

Main program

coq2html

Source provenance

not set: built from source

Outputs

out