depot/third_party/nixpkgs/pkgs/development/coq-modules
Default email 9a250f78df Project import generated by Copybara.
GitOrigin-RevId: 8536aeb4154f5458994080bc4cf542695c144739
2020-05-03 19:38:23 +02:00
..
autosubst Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
bignums Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
category-theory Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
Cheerios Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
CoLoR Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
contribs Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
coq-bits Project import generated by Copybara. 2020-04-24 19:36:52 -04: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-04-24 19:36:52 -04: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-04-24 19:36:52 -04: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-04-24 19:36:52 -04: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
ssreflect 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-04-24 19:36:52 -04:00