nixpkgs/pkgs/development/coq-modules
2014-12-04 14:15:30 -06:00
..
bedrock
containers
coq-ext-lib
coqeal coqPackages.coqeal: new expression 2014-12-04 14:15:30 -06:00
domains
flocq coqPackages.flocq: new expression 2014-10-21 00:23:36 -05:00
heq
mathcomp
paco
ssreflect
tlc
unimath coqPackages.unimath: new expression 2014-11-12 14:37:25 -06:00
ynot