| .. |
|
bedrock
|
coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressions
|
2014-10-11 17:24:59 -05:00 |
|
containers
|
coqPackages.ssreflect, more: build ssrcoq binary, add maintainer
|
2014-10-13 16:11:33 -05:00 |
|
coq-ext-lib
|
coqPackages.ssreflect, more: build ssrcoq binary, add maintainer
|
2014-10-13 16:11:33 -05:00 |
|
coqeal
|
coqPackages.coqeal: new expression
|
2014-12-04 14:15:30 -06:00 |
|
domains
|
coqPackages.domains: new expression
|
2014-10-11 22:01:46 -05:00 |
|
flocq
|
coqPackages.flocq: new expression
|
2014-10-21 00:23:36 -05:00 |
|
heq
|
coqPackages.domains: new expression
|
2014-10-11 22:01:46 -05:00 |
|
mathcomp
|
coqPackages.ssreflect, more: build ssrcoq binary, add maintainer
|
2014-10-13 16:11:33 -05:00 |
|
paco
|
coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressions
|
2014-10-11 17:24:59 -05:00 |
|
ssreflect
|
coqPackages.ssreflect, more: build ssrcoq binary, add maintainer
|
2014-10-13 16:11:33 -05:00 |
|
tlc
|
coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressions
|
2014-10-11 17:24:59 -05:00 |
|
unimath
|
coqPackages.unimath: new expression
|
2014-11-12 14:37:25 -06:00 |
|
ynot
|
coqPackages.ynot: remove broken tag
|
2014-10-11 19:32:16 -05:00 |
