depot/third_party/nixpkgs/pkgs/development/coq-modules
Default email 620eecebfb Project import generated by Copybara.
GitOrigin-RevId: 2deb07f3ac4eeb5de1c12c4ba2911a2eb1f6ed61
2021-10-28 08:52:43 +02:00
..
aac-tactics Project import generated by Copybara. 2021-10-14 08:43:12 +08:00
addition-chains Project import generated by Copybara. 2021-10-28 08:52:43 +02:00
autosubst Project import generated by Copybara. 2021-05-20 18:08:51 -05:00
bignums Project import generated by Copybara. 2021-10-14 08:43:12 +08:00
category-theory Project import generated by Copybara. 2021-08-06 00:33:18 +03:00
ceres Project import generated by Copybara. 2021-09-18 12:52:07 +02:00
Cheerios Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
CoLoR Project import generated by Copybara. 2021-05-20 18:08:51 -05:00
compcert Project import generated by Copybara. 2021-06-29 00:13:55 +01:00
contribs Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
coq-bits Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
coq-elpi Project import generated by Copybara. 2021-10-28 08:52:43 +02:00
coq-ext-lib Project import generated by Copybara. 2021-10-06 10:57:05 -03:00
coq-haskell Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
coqeal Project import generated by Copybara. 2021-08-08 17:34:03 -06:00
coqhammer Project import generated by Copybara. 2021-04-26 15:14:03 -04:00
coqprime Project import generated by Copybara. 2021-05-20 18:08:51 -05:00
coqtail-math Project import generated by Copybara. 2021-04-12 20:23:04 +02:00
coquelicot Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
corn Project import generated by Copybara. 2021-09-18 12:52:07 +02:00
deriving Project import generated by Copybara. 2021-10-28 08:52:43 +02:00
dpdgraph Project import generated by Copybara. 2021-02-16 18:04:54 +01:00
equations Project import generated by Copybara. 2021-10-14 08:43:12 +08:00
extructures Project import generated by Copybara. 2021-10-28 08:52:43 +02:00
fiat Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
flocq Project import generated by Copybara. 2021-09-26 14:46:18 +02:00
fourcolor Project import generated by Copybara. 2021-10-14 08:43:12 +08:00
gaia Project import generated by Copybara. 2021-10-17 05:12:59 +03:00
gaia-hydras Project import generated by Copybara. 2021-10-28 08:52:43 +02:00
gappalib Project import generated by Copybara. 2021-10-04 09:37:57 -03:00
goedel Project import generated by Copybara. 2021-10-17 05:12:59 +03:00
graph-theory Project import generated by Copybara. 2021-10-14 08:43:12 +08:00
heq Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
hierarchy-builder Project import generated by Copybara. 2021-10-28 08:52:43 +02:00
HoTT Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
hydra-battles Project import generated by Copybara. 2021-10-28 08:52:43 +02:00
InfSeqExt Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
interval Project import generated by Copybara. 2021-08-06 00:33:18 +03:00
iris Project import generated by Copybara. 2021-10-14 08:43:12 +08:00
itauto Project import generated by Copybara. 2021-10-14 08:43:12 +08:00
ITree Project import generated by Copybara. 2021-04-15 02:37:46 +02:00
ltac2 Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
math-classes Project import generated by Copybara. 2021-07-17 23:14:59 +02:00
mathcomp Project import generated by Copybara. 2021-08-18 15:19:15 +02:00
mathcomp-abel Project import generated by Copybara. 2021-01-15 23:18:51 +01:00
mathcomp-analysis Project import generated by Copybara. 2021-09-18 12:52:07 +02:00
mathcomp-bigenough Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
mathcomp-finmap Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
mathcomp-real-closed Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
mathcomp-zify Project import generated by Copybara. 2021-10-17 05:12:59 +03:00
metalib Project import generated by Copybara. 2021-05-20 18:08:51 -05:00
multinomials Project import generated by Copybara. 2021-10-14 08:43:12 +08:00
odd-order Project import generated by Copybara. 2021-04-05 17:23:46 +02:00
paco Project import generated by Copybara. 2021-10-14 08:43:12 +08:00
paramcoq Project import generated by Copybara. 2021-10-28 08:52:43 +02:00
parsec Project import generated by Copybara. 2021-10-14 08:43:12 +08:00
pocklington Project import generated by Copybara. 2021-05-20 18:08:51 -05:00
QuickChick Project import generated by Copybara. 2021-08-06 00:33:18 +03:00
reglang Project import generated by Copybara. 2021-10-14 08:43:12 +08:00
relation-algebra Project import generated by Copybara. 2021-10-14 08:43:12 +08:00
semantics Project import generated by Copybara. 2021-10-14 08:43:12 +08:00
serapi Project import generated by Copybara. 2021-10-28 08:52:43 +02:00
simple-io Project import generated by Copybara. 2021-04-15 02:37:46 +02:00
stdpp Project import generated by Copybara. 2021-10-14 08:43:12 +08:00
StructTact Project import generated by Copybara. 2021-10-06 10:57:05 -03:00
tlc Project import generated by Copybara. 2021-04-26 15:14:03 -04:00
topology Project import generated by Copybara. 2021-08-23 10:02:39 +02:00
Velisarios Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
Verdi Project import generated by Copybara. 2021-10-06 10:57:05 -03:00
VST Project import generated by Copybara. 2021-08-06 00:33:18 +03:00
zorns-lemma Project import generated by Copybara. 2021-08-23 10:02:39 +02:00