nixpkgs / coqPackages.coq - Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Homepage - http://coq.inria.fr

License - LGPL-2.1

Maintainers - Russell O'Connor - Austin Seipp - Vincent Laporte - Théo Zimmermann

Outputs

out (expand/collapse)

Releases

8.13.2 (expand/collapse)
From commit 02c142a2 to 00460bd6
8.11.2 (expand/collapse)
From commit 074ef76e to 074ef76e
8.13.2 (expand/collapse)
From commit 04855119 to 07557e3b
8.11.2 (expand/collapse)
From commit 065a8102 to 065a8102
8.13.2 (expand/collapse)
From commit 044053e2 to 04de1306
8.11.2 (expand/collapse)
From commit 03582eb6 to 03582eb6
8.13.2 (expand/collapse)
From commit 035434d8 to 062e1e59
8.11.2 (expand/collapse)
From commit 03c09257 to 03c09257
8.13.2 (expand/collapse)
From commit 037e5170 to 075953b7
8.11.2 (expand/collapse)
From commit 05065605 to 05065605
8.13.2 (expand/collapse)
From commit 0391ca2b to 01dc2d9c
8.11.2 (expand/collapse)
From commit 074b608d to 074b608d
8.13.2 (expand/collapse)
From commit 0326ec60 to 07e4cbde
8.11.2 (expand/collapse)
From commit 0432a816 to 0432a816
8.13.2 (expand/collapse)
From commit 07d9edea to 03108183
8.11.2 (expand/collapse)
From commit 07bb1100 to 07bb1100
8.13.2 (expand/collapse)
From commit 04af4657 to 060286eb
8.11.2 (expand/collapse)
From commit 06749ba3 to 021813a4
8.9.1 (expand/collapse)
From commit 05fe6112 to 05fe6112
8.11.2 (expand/collapse)
From commit 015c5a2b to 0096eb92
8.9.1 (expand/collapse)
From commit 00347e95 to 00347e95
8.11.2 (expand/collapse)
From commit 063c756b to 00946dc2
8.9.1 (expand/collapse)
From commit 00d8c11a to 00d8c11a
8.11.2 (expand/collapse)
From commit 0620184f to 03197f94
8.9.1 (expand/collapse)
From commit 02626990 to 02626990
8.11.2 (expand/collapse)
From commit 049c0c52 to 02ee8250
8.9.1 (expand/collapse)
From commit 0218f30a to 016dad9d
8.8.2 (expand/collapse)
From commit 0767de3d to 0767de3d
8.9.1 (expand/collapse)
From commit 05ee2af7 to 00610756
8.8.2 (expand/collapse)
From commit 04a0b11c to 04a0b11c
8.9.1 (expand/collapse)
From commit 01efdec3 to 050646af
8.8.2 (expand/collapse)
From commit 05de8873 to 05de8873
8.9.1 (expand/collapse)
From commit 05c54717 to 076f9d88
8.8.2 (expand/collapse)
From commit 03725673 to 03725673
8.9.1 (expand/collapse)
From commit 034eb3b3 to 034f3223
8.8.2 (expand/collapse)
From commit 038fbf01 to 061b6548
8.9.1 (expand/collapse)
From commit 0511b88c to 0511b88c
8.8.2 (expand/collapse)
From commit 03b9bc9e to 05288165