nixpkgs / coq_8_12 - 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.12.2 (expand/collapse)
From commit 05ca995e to 00460bd6
8.12.1 (expand/collapse)
From commit 06c0f165 to 06c0f165
8.12.2 (expand/collapse)
From commit 06a4f7df to 075da392
8.12.1 (expand/collapse)
From commit 0769fe27 to 022d7207
8.12.2 (expand/collapse)
From commit 054134c9 to 0597dcb0
8.12.1 (expand/collapse)
From commit 06f2fd5f to 046f8835
8.12.0 (expand/collapse)
From commit 02885ae8 to 00afc855
8.12.1 (expand/collapse)
From commit 0722158d to 07dfadc8
8.12.0 (expand/collapse)
From commit 04b7c0af to 04b7c0af
8.12.1 (expand/collapse)
From commit 00b385c6 to 03df9f54
8.12.0 (expand/collapse)
From commit 05e0aa30 to 0788a955
8.12.1 (expand/collapse)
From commit 011ecb8f to 04320e77
8.12.0 (expand/collapse)
From commit 025af7c4 to 025af7c4
8.12.1 (expand/collapse)
From commit 046002f4 to 0338f728
8.12.0 (expand/collapse)
From commit 063c756b to 018696cb
8.12+beta1 (expand/collapse)
From commit 00d8c11a to 00d8c11a
8.12.0 (expand/collapse)
From commit 003fa57c to 03197f94
8.12+beta1 (expand/collapse)
From commit 020a2121 to 020a2121
8.12.0 (expand/collapse)
From commit 00eedc07 to 041f70f6
8.12+beta1 (expand/collapse)
From commit 01ce2551 to 01ce2551
8.12.0 (expand/collapse)
From commit 044f18a6 to 002077c0
8.12+beta1 (expand/collapse)
From commit 011c113a to 0418df84
8.12.0 (expand/collapse)
From commit 0772bb35 to 0772bb35
8.12+beta1 (expand/collapse)
From commit 04989d7f to 04989d7f
8.12.0 (expand/collapse)
From commit 03905638 to 069d28d3
8.12+beta1 (expand/collapse)
From commit 00857096 to 036d9248