nixpkgs / coq_8_13 - 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.13.2 (expand/collapse)
From commit 02c142a2 to 00460bd6
8.13.1 (expand/collapse)
From commit 074ef76e to 074ef76e
8.13.2 (expand/collapse)
From commit 044053e2 to 07557e3b
8.13.1 (expand/collapse)
From commit 03582eb6 to 03582eb6
8.13.2 (expand/collapse)
From commit 037e5170 to 062e1e59
8.13.1 (expand/collapse)
From commit 05065605 to 05065605
8.13.2 (expand/collapse)
From commit 04991f2e to 01dc2d9c
8.13.1 (expand/collapse)
From commit 045a4797 to 045a4797
8.13.2 (expand/collapse)
From commit 03518371 to 00fe2670
8.13.1 (expand/collapse)
From commit 03e50cf1 to 03e50cf1
8.13+beta1 (expand/collapse)
From commit 064e0af8 to 064e0af8
8.13.2 (expand/collapse)
From commit 0139874d to 0139874d
8.13.1 (expand/collapse)
From commit 06dee383 to 01fa878e
8.13.0 (expand/collapse)
From commit 064b446f to 064b446f
8.13.1 (expand/collapse)
From commit 078c2a73 to 031da799
8.13.0 (expand/collapse)
From commit 045e01aa to 045e01aa
8.13.1 (expand/collapse)
From commit 0540dad5 to 062e1ffa
8.13.0 (expand/collapse)
From commit 0140b281 to 0140b281
8.13.1 (expand/collapse)
From commit 03831816 to 00210fcf
8.13+beta1 (expand/collapse)
From commit 002fe4f1 to 002fe4f1
8.13.0 (expand/collapse)
From commit 0090fbbd to 0090fbbd
8.13.1 (expand/collapse)
From commit 0355cd98 to 03f27fd6
8.13.0 (expand/collapse)
From commit 035438a2 to 06e40b3c
8.13.1 (expand/collapse)
From commit 003fcee3 to 07999ac6
8.13.0 (expand/collapse)
From commit 0388fd95 to 0799e016
8.13+beta1 (expand/collapse)
From commit 02b87231 to 02b87231
8.13.0 (expand/collapse)
From commit 07cc794f to 07b50561
8.13+beta1 (expand/collapse)
From commit 013953c8 to 013953c8
8.13.0 (expand/collapse)
From commit 05fbc827 to 046eb5a9
8.13+beta1 (expand/collapse)
From commit 054134c9 to 01b013e7