depot/third_party/nixpkgs/pkgs/development/coq-modules
Default email e7f069c37c Project import generated by Copybara.
GitOrigin-RevId: 467ce5a9f45aaf96110b41eb863a56866e1c2c3c
2020-06-02 20:00:15 +02:00
..
autosubst Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
bignums Project import generated by Copybara. 2020-05-15 23:57:56 +02:00
category-theory Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
Cheerios Project import generated by Copybara. 2020-06-02 20:00:15 +02:00
CoLoR Project import generated by Copybara. 2020-06-02 20:00:15 +02:00
contribs Project import generated by Copybara. 2020-05-15 23:57:56 +02:00
coq-bits Project import generated by Copybara. 2020-05-15 23:57:56 +02:00
coq-elpi Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
coq-ext-lib Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
coq-extensible-records Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
coq-haskell Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
coqhammer Project import generated by Copybara. 2020-05-03 19:38:23 +02:00
coqprime Project import generated by Copybara. 2020-05-15 23:57:56 +02:00
coquelicot Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
corn Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
dpdgraph Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
equations Project import generated by Copybara. 2020-05-03 19:38:23 +02:00
fiat Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
flocq Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
gappalib Project import generated by Copybara. 2020-05-03 19:38:23 +02:00
heq Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
hierarchy-builder Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
HoTT Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
InfSeqExt Project import generated by Copybara. 2020-06-02 20:00:15 +02:00
interval Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
iris Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
ltac2 Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
math-classes Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
mathcomp Project import generated by Copybara. 2020-05-29 08:06:01 +02:00
metalib Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
paco Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
paramcoq Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
QuickChick Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
simple-io Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
stdpp Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
StructTact Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
tlc Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
Velisarios Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
Verdi Project import generated by Copybara. 2020-06-02 20:00:15 +02:00