John Wiegley 1da4d8b5c9 coqPackages.QuickChick: New expression		2015-05-08 11:35:23 -05:00
..
bedrock	meta.description fixups	2015-04-30 18:17:42 +02:00
contribs
coq-ext-lib
coqeal
domains
fiat	meta.description fixups	2015-04-30 18:17:42 +02:00
flocq	meta.description fixups	2015-04-30 18:17:42 +02:00
heq
interval
mathcomp
paco	meta.description fixups	2015-04-30 18:17:42 +02:00
QuickChick	coqPackages.QuickChick: New expression	2015-05-08 11:35:23 -05:00
ssreflect
tlc	meta.description fixups	2015-04-30 18:17:42 +02:00
unimath
ynot	meta.description fixups	2015-04-30 18:17:42 +02:00