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