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

Releases

8.10.2 (expand/collapse)
From commit 0634484a to 00460bd6
8.10+beta2 (expand/collapse)
From commit 036cef94 to 010d2f4a
8.10.2 (expand/collapse)
From commit 03a43693 to 016111e8
8.10.1 (expand/collapse)
From commit 05421405 to 05421405
8.10.2 (expand/collapse)
From commit 018c0445 to 01e8c649
8.10.1 (expand/collapse)
From commit 02930180 to 02930180
8.10.2 (expand/collapse)
From commit 05358c64 to 026b6010
8.10.1 (expand/collapse)
From commit 06905868 to 06905868
8.10.2 (expand/collapse)
From commit 004634a2 to 004634a2
8.10.1 (expand/collapse)
From commit 018136cd to 00cdf80d
8.10.2 (expand/collapse)
From commit 000f19ff to 000f19ff
8.10.1 (expand/collapse)
From commit 02f869ff to 07802f4d
8.10+beta2 (expand/collapse)
From commit 04f3bc51 to 04f3bc51
8.10.1 (expand/collapse)
From commit 0646b9f7 to 069364f3
8.10+beta2 (expand/collapse)
From commit 069e9fd4 to 069e9fd4
8.10.1 (expand/collapse)
From commit 001f08fb to 03941c1e
8.10.2 (expand/collapse)
From commit 0709d4eb to 0709d4eb
8.10.1 (expand/collapse)
From commit 053168d4 to 02132288
8.10+beta2 (expand/collapse)
From commit 04cb05d2 to 04cb05d2
8.10.1 (expand/collapse)
From commit 03e78496 to 03e6ca15
8.10+beta2 (expand/collapse)
From commit 06c5e811 to 06c5e811
8.10.1 (expand/collapse)
From commit 054ceb82 to 07b40774
8.10+beta3 (expand/collapse)
From commit 03e55536 to 03e55536
8.10.0 (expand/collapse)
From commit 0060782d to 0361ae22
8.10+beta3 (expand/collapse)
From commit 0486eacd to 0486eacd
8.10.0 (expand/collapse)
From commit 071d181e to 071d181e
8.10+beta3 (expand/collapse)
From commit 06744bb2 to 06744bb2
8.10.0 (expand/collapse)
From commit 00310037 to 05c01148
8.10+beta3 (expand/collapse)
From commit 061e007e to 04f5aee2
8.10+beta2 (expand/collapse)
From commit 044f771d to 044f771d
8.10+beta3 (expand/collapse)
From commit 061ea7d1 to 00f6c93f
8.10+beta2 (expand/collapse)
From commit 0281599a to 046ea6d0
8.10+beta1 (expand/collapse)
From commit 071a4db3 to 071a4db3
8.10+beta2 (expand/collapse)
From commit 046390bf to 0732203c
8.10+beta1 (expand/collapse)
From commit 02d79ced to 02d79ced
8.10+beta2 (expand/collapse)
From commit 003ffbe7 to 03d3ed3e
8.10+beta1 (expand/collapse)
From commit 032d0baf to 06f3c7a1