nixpkgs / coq_8_9 - 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.9.1 (expand/collapse)
From commit 0218f30a to 00460bd6
8.9.0 (expand/collapse)
From commit 0767de3d to 0767de3d
8.9.1 (expand/collapse)
From commit 003b42f3 to 00610756
8.9.0 (expand/collapse)
From commit 057016a2 to 057016a2
8.9.1 (expand/collapse)
From commit 02e6a5fd to 0512f90e
8.9.0 (expand/collapse)
From commit 04c9866b to 04c9866b
8.9.1 (expand/collapse)
From commit 03d6c406 to 03d6c406
8.9.0 (expand/collapse)
From commit 0412ee2a to 0412ee2a
8.9.1 (expand/collapse)
From commit 0636bebb to 05c1addd
8.9.0 (expand/collapse)
From commit 00932b9d to 00932b9d
8.9.1 (expand/collapse)
From commit 01d06dc3 to 01c37106
8.9.0 (expand/collapse)
From commit 071167e6 to 071167e6
8.9.1 (expand/collapse)
From commit 03f48ebe to 03f48ebe
8.9.0 (expand/collapse)
From commit 03a32ec6 to 024a383d
8.9.1 (expand/collapse)
From commit 027ccb83 to 04d748b7
8.9.0 (expand/collapse)
From commit 06195c92 to 06195c92
8.9.1 (expand/collapse)
From commit 062210bd to 024c1c3d
8.9.0 (expand/collapse)
From commit 02fff277 to 02fff277
8.9.1 (expand/collapse)
From commit 06f27dc2 to 06f27dc2
8.9.0 (expand/collapse)
From commit 066be85d to 07cac4f9
8.9+beta1 (expand/collapse)
From commit 059e5e0b to 059e5e0b
8.9.0 (expand/collapse)
From commit 04469284 to 071c7e8d
8.9+beta1 (expand/collapse)
From commit 0590170c to 0590170c
8.9.0 (expand/collapse)
From commit 026ec75d to 026ec75d
8.9+beta1 (expand/collapse)
From commit 04ee7db3 to 04ee7db3
8.9.0 (expand/collapse)
From commit 016128dd to 0372ae74
8.9+beta1 (expand/collapse)
From commit 058a3c08 to 04d21ab8