nixpkgs / coqPackages.CoLoR - CoLoR is a library of formal mathematical definitions and proofs of theorems on rewriting theory and termination whose correctness has been mechanically checked by the Coq proof assistant.

Homepage - http://color.inria.fr/

Maintainers - Jarrod Pas - John Wiegley

Outputs

out (expand/collapse)

Releases

1.8.1 (expand/collapse)
From commit 02c142a2 to 00460bd6
1.7.0 (expand/collapse)
From commit 074ef76e to 074ef76e
1.8.1 (expand/collapse)
From commit 04855119 to 07557e3b
1.7.0 (expand/collapse)
From commit 065a8102 to 065a8102
1.8.1 (expand/collapse)
From commit 044053e2 to 04de1306
1.7.0 (expand/collapse)
From commit 03582eb6 to 03582eb6
1.8.1 (expand/collapse)
From commit 035434d8 to 062e1e59
1.7.0 (expand/collapse)
From commit 03c09257 to 03c09257
1.8.1 (expand/collapse)
From commit 037e5170 to 075953b7
1.7.0 (expand/collapse)
From commit 05065605 to 05065605
1.8.1 (expand/collapse)
From commit 0391ca2b to 01dc2d9c
1.7.0 (expand/collapse)
From commit 074b608d to 074b608d
1.8.1 (expand/collapse)
From commit 0326ec60 to 07e4cbde
1.7.0 (expand/collapse)
From commit 0432a816 to 0432a816
1.8.1 (expand/collapse)
From commit 07d9edea to 03108183
1.7.0 (expand/collapse)
From commit 07bb1100 to 07bb1100
1.8.1 (expand/collapse)
From commit 04af4657 to 060286eb
1.7.0 (expand/collapse)
From commit 06749ba3 to 021813a4
1.6.0 (expand/collapse)
From commit 05fe6112 to 05fe6112
1.7.0 (expand/collapse)
From commit 015c5a2b to 0096eb92
1.6.0 (expand/collapse)
From commit 00347e95 to 00347e95
1.7.0 (expand/collapse)
From commit 063c756b to 00946dc2
1.6.0 (expand/collapse)
From commit 00d8c11a to 00d8c11a
1.7.0 (expand/collapse)
From commit 0620184f to 03197f94
1.6.0 (expand/collapse)
From commit 02626990 to 02626990
1.7.0 (expand/collapse)
From commit 049c0c52 to 02ee8250
1.6.0 (expand/collapse)
From commit 0218f30a to 016dad9d