Vincent Laporte 655231a612 coqPackages.simple-io: init at 0.2 ... Purely functional IO for Coq. homepage: https://github.com/Lysxia/coq-simple-io		2018-12-10 15:35:34 +00:00
..
autosubst
bignums
category-theory
Cheerios	coqPackages: New expressions: StructTact, InfSeqExt, Cheerios, Verdi	2018-11-20 15:18:12 -08:00
CoLoR
contribs
coq-ext-lib	coqPackages_8_9.coq-ext-lib: init at 0.10.0	2018-12-10 15:33:59 +00:00
coq-haskell
coqprime
coquelicot
corn	coqPackages.corn: init at 8.8.1	2018-12-10 07:56:32 +00:00
dpdgraph
equations
fiat
flocq
heq
HoTT
InfSeqExt	coqPackages: New expressions: StructTact, InfSeqExt, Cheerios, Verdi	2018-11-20 15:18:12 -08:00
interval
iris
math-classes	coqPackages.math-classes: 1.0.7 -> 8.8.1	2018-12-03 08:29:46 +00:00
mathcomp
metalib
multinomials
paco
QuickChick
simple-io	coqPackages.simple-io: init at 0.2	2018-12-10 15:35:34 +00:00
ssreflect
stdpp
StructTact	coqPackages: New expressions: StructTact, InfSeqExt, Cheerios, Verdi	2018-11-20 15:18:12 -08:00
tlc
Velisarios
Verdi	coqPackages: New expressions: StructTact, InfSeqExt, Cheerios, Verdi	2018-11-20 15:18:12 -08:00