nixpkgs / 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.

Homepage - https://github.com/xavierleroy/coq2html

License - GPL-2.0-or-later

Maintainers - John Wiegley - Siraphob Phipathananunth

Outputs

out (expand/collapse)

• /bin/coq2html

Releases

1.3 (expand/collapse)

From commit 00460bd6 to 00460bd6

1.2 (expand/collapse)

From commit 039e3758 to 039e3758

1.3 (expand/collapse)

From commit 00f7e1e8 to 021410c0

1.2 (expand/collapse)

From commit 0757207f to 0757207f

1.3 (expand/collapse)

From commit 038152e4 to 0615bf07

1.2 (expand/collapse)

From commit 023ba766 to 023ba766

1.3 (expand/collapse)

From commit 016b0a42 to 045e85bb

1.2 (expand/collapse)

From commit 06c691cf to 06c691cf

1.3 (expand/collapse)

From commit 050a1d0a to 04e1d248

1.2 (expand/collapse)

From commit 02c142a2 to 05482d2a

20170720 (expand/collapse)

From commit 074ef76e to 074ef76e

1.2 (expand/collapse)

From commit 04855119 to 07557e3b

20170720 (expand/collapse)

From commit 065a8102 to 065a8102

1.2 (expand/collapse)

From commit 044053e2 to 04de1306

20170720 (expand/collapse)

From commit 03582eb6 to 03582eb6

1.2 (expand/collapse)

From commit 035434d8 to 062e1e59

20170720 (expand/collapse)

From commit 03c09257 to 03c09257

1.2 (expand/collapse)

From commit 037e5170 to 075953b7

20170720 (expand/collapse)

From commit 05065605 to 05065605

1.2 (expand/collapse)

From commit 0391ca2b to 01dc2d9c

20170720 (expand/collapse)

From commit 074b608d to 074b608d

1.2 (expand/collapse)

From commit 0326ec60 to 07e4cbde

20170720 (expand/collapse)

From commit 0432a816 to 0432a816

1.2 (expand/collapse)

From commit 07d9edea to 03108183

20170720 (expand/collapse)

From commit 07bb1100 to 07bb1100

1.2 (expand/collapse)

From commit 062526f7 to 060286eb

20170720 (expand/collapse)

From commit 0396ca61 to 0677bf37