nixpkgs / coq_8_7 - 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.7.2 (expand/collapse)
From commit 01a49f38 to 00460bd6
8.7.1 (expand/collapse)
From commit 0004682e to 050810e5
8.7.0 (expand/collapse)
From commit 039cb629 to 039cb629
8.7.1 (expand/collapse)
From commit 03e10f85 to 071c6bb8
8.7.0 (expand/collapse)
From commit 07c375d9 to 04dd10f8
8.7.1 (expand/collapse)
From commit 074a43f3 to 074a43f3
8.7.0 (expand/collapse)
From commit 01a7d703 to 07d3bfc4
8.7+beta1 (expand/collapse)
From commit 03bcadd4 to 03bcadd4
8.7.0 (expand/collapse)
From commit 01ab8002 to 0711fe96
8.7+beta2 (expand/collapse)
From commit 04b3b009 to 04b3b009
8.7.0 (expand/collapse)
From commit 0134ccb4 to 0671a2b6
8.7+beta2 (expand/collapse)
From commit 02b15a41 to 02b15a41
8.7.0 (expand/collapse)
From commit 07a6ae40 to 0676d691
8.7+beta1 (expand/collapse)
From commit 01bf32de to 01bf32de
8.7.0 (expand/collapse)
From commit 02f4079f to 0204936c
8.7+beta2 (expand/collapse)
From commit 00e27a28 to 05ac9294
8.7+beta1 (expand/collapse)
From commit 024b5019 to 0034f9e5