depot/third_party/nixpkgs/pkgs/development/coq-modules
Default email 0eaa97ffad Project import generated by Copybara.
GitOrigin-RevId: c59ea8b8a0e7f927e7291c14ea6cd1bd3a16ff38
2020-08-20 19:08:02 +02:00
..
autosubst Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
bignums Project import generated by Copybara. 2020-08-20 19:08:02 +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-07-18 18:06:22 +02:00
coq-elpi Project import generated by Copybara. 2020-08-20 19:08:02 +02:00
coq-ext-lib Project import generated by Copybara. 2020-08-20 19:08:02 +02:00
coq-haskell Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
coqhammer Project import generated by Copybara. 2020-08-20 19:08:02 +02:00
coqprime Project import generated by Copybara. 2020-05-15 23:57:56 +02:00
coquelicot Project import generated by Copybara. 2020-06-15 17:56:04 +02: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-08-20 19:08:02 +02:00
fiat Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
flocq Project import generated by Copybara. 2020-06-18 09:06:33 +02: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-08-20 19:08:02 +02: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-08-20 19:08:02 +02:00
iris Project import generated by Copybara. 2020-08-20 19:08:02 +02:00
ltac2 Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
math-classes Project import generated by Copybara. 2020-08-20 19:08:02 +02:00
mathcomp Project import generated by Copybara. 2020-06-18 09:06:33 +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-08-20 19:08:02 +02:00
simple-io Project import generated by Copybara. 2020-08-20 19:08:02 +02:00
stdpp Project import generated by Copybara. 2020-08-20 19:08:02 +02:00
StructTact Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
tlc Project import generated by Copybara. 2020-07-18 18:06:22 +02: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