depot/third_party/nixpkgs/pkgs/development/coq-modules
Default email 9405df4a82 Project import generated by Copybara.
GitOrigin-RevId: 8e4fe32876ca15e3d5eb3ecd3ca0b224417f5f17
2021-04-26 15:14:03 -04:00
..
autosubst Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
bignums Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
category-theory Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
Cheerios Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
CoLoR Project import generated by Copybara. 2021-01-09 11:05:03 +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-04-19 05:05:28 +02:00
coq-ext-lib Project import generated by Copybara. 2021-04-15 02:37:46 +02:00
coq-haskell Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
coqeal Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
coqhammer Project import generated by Copybara. 2021-04-26 15:14:03 -04:00
coqprime Project import generated by Copybara. 2021-01-09 11:05:03 +01: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-02-05 18:12:51 +01:00
dpdgraph Project import generated by Copybara. 2021-02-16 18:04:54 +01:00
equations Project import generated by Copybara. 2021-04-15 02:37:46 +02:00
fiat Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
flocq Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
fourcolor Project import generated by Copybara. 2021-03-20 04:20:00 +00:00
gappalib Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
heq Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
hierarchy-builder Project import generated by Copybara. 2021-02-19 20:06:45 +01:00
HoTT Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
InfSeqExt Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
interval Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
iris Project import generated by Copybara. 2021-04-12 20:23:04 +02: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-02-05 18:12:51 +01:00
mathcomp Project import generated by Copybara. 2021-03-16 10:55:35 +01:00
mathcomp-abel Project import generated by Copybara. 2021-01-15 23:18:51 +01:00
mathcomp-analysis Project import generated by Copybara. 2021-03-15 09:37:03 +01: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
metalib Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
multinomials Project import generated by Copybara. 2021-03-12 08:09:13 +01:00
odd-order Project import generated by Copybara. 2021-04-05 17:23:46 +02:00
paco Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
paramcoq Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
QuickChick Project import generated by Copybara. 2021-04-24 22:57:28 -05:00
simple-io Project import generated by Copybara. 2021-04-15 02:37:46 +02:00
stdpp Project import generated by Copybara. 2021-04-12 20:23:04 +02:00
StructTact Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
tlc Project import generated by Copybara. 2021-04-26 15:14:03 -04:00
Velisarios Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
Verdi Project import generated by Copybara. 2021-01-09 11:05:03 +01:00
VST Project import generated by Copybara. 2021-01-09 11:05:03 +01:00