nixpkgs / coq_8_5 - 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.5pl3 (expand/collapse)

From commit 075e4883 to 00460bd6

8.5pl2 (expand/collapse)

From commit 044ceae2 to 044ceae2

8.5pl3 (expand/collapse)

From commit 0761b0bc to 0560caa5

8.5pl1 (expand/collapse)

From commit 06e16f00 to 06e16f00

8.5pl3 (expand/collapse)

From commit 05ca19c6 to 000fb9be

8.5pl2 (expand/collapse)

From commit 008399e9 to 008399e9

8.5pl3 (expand/collapse)

From commit 0033f607 to 05d74cb8

8.5pl2 (expand/collapse)

From commit 071b57ba to 0018599a

8.5pl1 (expand/collapse)

From commit 04403e4c to 04403e4c

8.5pl2 (expand/collapse)

From commit 050d5342 to 00b05d47

8.5pl1 (expand/collapse)

From commit 028e3d82 to 028e3d82

8.5pl2 (expand/collapse)

From commit 01753f24 to 05274e53

8.5pl1 (expand/collapse)

From commit 01900ac0 to 00a61a42

8.5 (expand/collapse)

From commit 032e3e53 to 032e3e53

8.5pl1 (expand/collapse)

From commit 0435ac88 to 04c67c31

8.5 (expand/collapse)

From commit 078a19c4 to 0103d710

8.5b2 (expand/collapse)

From commit 0241c1f2 to 01dc343c