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