nixpkgs/pkgs/development/coq-modules
2017-02-11 14:02:19 +01:00
..
bedrock
contribs
coq-ext-lib
coqeal
coquelicot coqPackages.coquelicot: 2.1.1 -> 2.1.2 2017-02-11 14:02:19 +01:00
domains
dpdgraph
fiat
flocq
heq
interval coqPackages.interval: 2.2.1 -> 3.1.1 2017-02-11 14:02:19 +01:00
math-classes
mathcomp coqPackages.{ssreflect,mathcomp}: 1.6 -> 1.6.1 2017-02-11 14:02:19 +01:00
paco
QuickChick
ssreflect coqPackages.{ssreflect,mathcomp}: 1.6 -> 1.6.1 2017-02-11 14:02:19 +01:00
tlc
unimath
ynot