nixpkgs / coq_8_8 - 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.8.2 (expand/collapse)
From commit 07a3f3fb to 00460bd6
8.8.1 (expand/collapse)
From commit 028164ef to 028164ef
8.8.2 (expand/collapse)
From commit 056c03ae to 02602b2c
8.8.1 (expand/collapse)
From commit 0329e26f to 0329e26f
8.8.2 (expand/collapse)
From commit 024eb9a5 to 011f1c73
8.8.1 (expand/collapse)
From commit 002a2a8d to 005f851d
8.8.2 (expand/collapse)
From commit 04d5ff82 to 00e57782
8.8.1 (expand/collapse)
From commit 00ab5c5b to 0441faea
8.8.0 (expand/collapse)
From commit 016922f8 to 016922f8
8.8.1 (expand/collapse)
From commit 02f70536 to 06b42906
8.8.0 (expand/collapse)
From commit 05bc5fed to 05bc5fed
8.8.1 (expand/collapse)
From commit 05474564 to 027d52ff
8.8.0 (expand/collapse)
From commit 06156610 to 0194f7fb
8.8+beta1 (expand/collapse)
From commit 048c991e to 000482ff
8.8.0 (expand/collapse)
From commit 03b36522 to 047c9372
8.8+beta1 (expand/collapse)
From commit 0307ce3d to 07900ec4
8.8.0 (expand/collapse)
From commit 059a2a8c to 01af3014
8.8+beta1 (expand/collapse)
From commit 040a9ab2 to 0743c349