John Wiegley bee172501d Merge pull request #37591 from vbgl/coq-88beta1 ... coq: init at 8.8+beta1		2018-03-23 22:09:06 -07:00
..
autosubst
bignums
category-theory
CoLoR
contribs
coq-ext-lib
coq-haskell
coquelicot
dpdgraph
equations
fiat
flocq
heq
HoTT
interval
math-classes
mathcomp
metalib
multinomials
paco
QuickChick
ssreflect
tlc