nixpkgs / coq - 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.11.2 (expand/collapse)
From commit 074ef76e to 074ef76e
8.13.2 (expand/collapse)
From commit 04855119 to 07557e3b
8.11.2 (expand/collapse)
From commit 065a8102 to 065a8102
8.13.2 (expand/collapse)
From commit 044053e2 to 04de1306
8.11.2 (expand/collapse)
From commit 03582eb6 to 03582eb6
8.13.2 (expand/collapse)
From commit 035434d8 to 062e1e59
8.11.2 (expand/collapse)
From commit 03c09257 to 03c09257
8.13.2 (expand/collapse)
From commit 037e5170 to 075953b7
8.11.2 (expand/collapse)
From commit 05065605 to 05065605
8.13.2 (expand/collapse)
From commit 0391ca2b to 01dc2d9c
8.11.2 (expand/collapse)
From commit 074b608d to 074b608d
8.13.2 (expand/collapse)
From commit 0326ec60 to 07e4cbde
8.11.2 (expand/collapse)
From commit 0432a816 to 0432a816
8.13.2 (expand/collapse)
From commit 07d9edea to 03108183
8.11.2 (expand/collapse)
From commit 07bb1100 to 07bb1100
8.13.2 (expand/collapse)
From commit 04af4657 to 060286eb
8.11.2 (expand/collapse)
From commit 06749ba3 to 021813a4
8.9.1 (expand/collapse)
From commit 05fe6112 to 05fe6112
8.11.2 (expand/collapse)
From commit 015c5a2b to 0096eb92
8.9.1 (expand/collapse)
From commit 00347e95 to 00347e95
8.11.2 (expand/collapse)
From commit 063c756b to 00946dc2
8.9.1 (expand/collapse)
From commit 00d8c11a to 00d8c11a
8.11.2 (expand/collapse)
From commit 0620184f to 03197f94
8.9.1 (expand/collapse)
From commit 02626990 to 02626990
8.11.2 (expand/collapse)
From commit 049c0c52 to 02ee8250
8.9.1 (expand/collapse)
From commit 0218f30a to 016dad9d
8.8.2 (expand/collapse)
From commit 0767de3d to 0767de3d
8.9.1 (expand/collapse)
From commit 05ee2af7 to 00610756
8.8.2 (expand/collapse)
From commit 04a0b11c to 04a0b11c
8.9.1 (expand/collapse)
From commit 01efdec3 to 050646af
8.8.2 (expand/collapse)
From commit 05de8873 to 05de8873
8.9.1 (expand/collapse)
From commit 05c54717 to 076f9d88
8.8.2 (expand/collapse)
From commit 03725673 to 03725673
8.9.1 (expand/collapse)
From commit 034eb3b3 to 034f3223
8.8.2 (expand/collapse)
From commit 038fbf01 to 061b6548
8.9.1 (expand/collapse)
From commit 0511b88c to 0511b88c
8.8.2 (expand/collapse)
From commit 0607adde to 05288165
8.7.2 (expand/collapse)
From commit 02a3726a to 02a3726a
8.8.2 (expand/collapse)
From commit 075e4883 to 0111c7d8
8.4pl6 (expand/collapse)
From commit 044ceae2 to 044ceae2
8.8.2 (expand/collapse)
From commit 07a3f3fb to 0560caa5
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 01fc00cc to 0441faea
8.7.2 (expand/collapse)
From commit 05d85a26 to 05d85a26
8.8.1 (expand/collapse)
From commit 03a41ab5 to 04d283ec
8.7.2 (expand/collapse)
From commit 030760a9 to 030760a9
8.8.1 (expand/collapse)
From commit 062ae9ee to 062ae9ee
8.7.2 (expand/collapse)
From commit 063942cc to 063942cc
8.8.1 (expand/collapse)
From commit 07765856 to 07765856
8.7.2 (expand/collapse)
From commit 06e7a48f to 06e7a48f
8.8.1 (expand/collapse)
From commit 038cd753 to 067d5e62
8.7.2 (expand/collapse)
From commit 01a49f38 to 02353e4a
8.7.1 (expand/collapse)
From commit 035f3363 to 050810e5
8.6.1 (expand/collapse)
From commit 06e50006 to 06e50006
8.7.1 (expand/collapse)
From commit 05d6a7ed to 0713bde5
8.6.1 (expand/collapse)
From commit 026719f5 to 0312fe48
8.7.1 (expand/collapse)
From commit 051c92a8 to 0577bc48
8.6.1 (expand/collapse)
From commit 06adc174 to 06adc174
8.7.1 (expand/collapse)
From commit 00970f76 to 01460745
8.6.1 (expand/collapse)
From commit 00269f66 to 0525e823
8.6 (expand/collapse)
From commit 07e2460a to 07e2460a
8.6.1 (expand/collapse)
From commit 078f1dde to 0094ca20
8.6 (expand/collapse)
From commit 01fbf300 to 01fbf300
8.6.1 (expand/collapse)
From commit 06af1df8 to 031eb79a
8.6 (expand/collapse)
From commit 05b88794 to 0053bf6d
8.6.1 (expand/collapse)
From commit 057ffcf0 to 07796ccb
8.6 (expand/collapse)
From commit 056e5767 to 068feb65
8.4pl6 (expand/collapse)
From commit 076dff2f to 04283047
8.4pl5 (expand/collapse)
From commit 029514b5 to 029514b5
8.4pl6 (expand/collapse)
From commit 019b1872 to 05a44cd0
8.4pl5 (expand/collapse)
From commit 02cda213 to 02cda213
8.4pl6 (expand/collapse)
From commit 001ea3b4 to 05d7fb20
8.4pl5 (expand/collapse)
From commit 0115d512 to 0444e926
8.4pl6 (expand/collapse)
From commit 012bb48a to 003f5a87
8.4pl5 (expand/collapse)
From commit 05c8f5c1 to 0520f7a9
8.4pl4 (expand/collapse)
From commit 042273e5 to 063ee531
8.4pl3 (expand/collapse)
From commit 0469f92f to 06c8438b
8.4pl2 (expand/collapse)
From commit 048a7e9d to 048a7e9d
8.4pl3 (expand/collapse)
From commit 062363c0 to 075168ca
8.4pl2 (expand/collapse)
From commit 02eef5b0 to 02583ff4
8.4 (expand/collapse)
From commit 00fa89e4 to 01c57234
8.3pl4 (expand/collapse)
From commit 0542d359 to 006e3fbf
8.3pl3 (expand/collapse)
From commit 0728828f to 00b9523b
8.3pl1 (expand/collapse)
From commit 06689655 to 06689655
8.3pl3 (expand/collapse)
From commit 06d28ca8 to 06d28ca8
8.3pl1 (expand/collapse)
From commit 01d9831f to 0546a7e7
8.3 (expand/collapse)
From commit 05a530fd to 05a530fd
8.3pl1 (expand/collapse)
From commit 0526aaa8 to 06a34e58
8.3 (expand/collapse)
From commit 04301670 to 02b20395
8.2pl2 (expand/collapse)
From commit 0571d80d to 00d1d949
8.2pl1 (expand/collapse)
From commit 005bf71e to 057a044b
8.1pl3 (expand/collapse)
From commit 0686eecf to 061daca9