nixpkgs / coq_8_11 - 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.11.2 (expand/collapse)
From commit 066544a7 to 00460bd6
8.11.1 (expand/collapse)
From commit 05a16be9 to 05a16be9
8.11.2 (expand/collapse)
From commit 049b68be to 0456d939
8.11.1 (expand/collapse)
From commit 02b3cac1 to 02b3cac1
8.11.2 (expand/collapse)
From commit 07178d79 to 008e7e32
8.11.1 (expand/collapse)
From commit 0476b979 to 0476b979
8.11.2 (expand/collapse)
From commit 03f116ea to 0674b0d4
8.11.1 (expand/collapse)
From commit 06ac7027 to 06ac7027
8.11.2 (expand/collapse)
From commit 0045730c to 0045730c
8.11.1 (expand/collapse)
From commit 0428650d to 0428650d
8.11.2 (expand/collapse)
From commit 062302e0 to 02790835
8.11.1 (expand/collapse)
From commit 02ac04d3 to 02ac04d3
8.11.2 (expand/collapse)
From commit 05ff0995 to 05f92696
8.11.1 (expand/collapse)
From commit 076f221a to 06e69099
8.11.0 (expand/collapse)
From commit 054c2113 to 054c2113
8.11.1 (expand/collapse)
From commit 024877e7 to 05f3d961
8.11.0 (expand/collapse)
From commit 04a5e5ab to 04a5e5ab
8.11.1 (expand/collapse)
From commit 0288741d to 0288741d
8.11.0 (expand/collapse)
From commit 04037d1e to 03f3d67e
8.11+beta1 (expand/collapse)
From commit 017926a8 to 017926a8
8.11.0 (expand/collapse)
From commit 005c829a to 01e352ac
8.11+beta1 (expand/collapse)
From commit 00a91d91 to 02f17407
8.11.0 (expand/collapse)
From commit 02a9dbcb to 00cd1d0f
8.11+beta1 (expand/collapse)
From commit 04bfeeac to 04bfeeac
8.11.0 (expand/collapse)
From commit 05a3625d to 0142bd49
8.11+beta1 (expand/collapse)
From commit 056dc164 to 02247205
8.11.0 (expand/collapse)
From commit 032fddf1 to 05620d62
8.11+beta1 (expand/collapse)
From commit 000f19ff to 02bf0557