depot/third_party/nixpkgs/pkgs/development/coq-modules
Default email fa5436e0a7 Project import generated by Copybara.
GitOrigin-RevId: e8057b67ebf307f01bdcc8fba94d94f75039d1f6
2024-06-05 17:53:02 +02:00
..
aac-tactics Project import generated by Copybara. 2024-06-05 17:53:02 +02:00
addition-chains Project import generated by Copybara. 2023-10-09 21:29:22 +02:00
autosubst Project import generated by Copybara. 2023-10-09 21:29:22 +02:00
bignums Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
category-theory Project import generated by Copybara. 2023-04-29 12:46:19 -04:00
ceres Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
Cheerios Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
CoLoR Project import generated by Copybara. 2024-04-21 17:54:59 +02:00
compcert Project import generated by Copybara. 2024-06-05 17:53:02 +02:00
contribs Project import generated by Copybara. 2023-02-02 18:25:31 +00:00
coq-bits Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
coq-elpi Project import generated by Copybara. 2024-01-13 09:15:51 +01:00
coq-ext-lib Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
coq-haskell Project import generated by Copybara. 2023-02-02 18:25:31 +00:00
coq-lsp Project import generated by Copybara. 2024-05-15 17:35:15 +02:00
coq-record-update Project import generated by Copybara. 2024-05-15 17:35:15 +02:00
coqeal Project import generated by Copybara. 2024-01-25 23:12:00 +09:00
coqhammer Project import generated by Copybara. 2023-03-04 15:14:45 +03:00
coqide Project import generated by Copybara. 2024-05-15 17:35:15 +02:00
coqprime Project import generated by Copybara. 2024-02-06 17:22:34 -08:00
coqtail-math Project import generated by Copybara. 2023-02-02 18:25:31 +00:00
coquelicot Project import generated by Copybara. 2024-02-06 17:22:34 -08:00
corn Project import generated by Copybara. 2024-05-15 17:35:15 +02:00
deriving Project import generated by Copybara. 2024-02-06 17:22:34 -08:00
dpdgraph Project import generated by Copybara. 2024-04-21 17:54:59 +02:00
equations Project import generated by Copybara. 2024-04-21 17:54:59 +02:00
extructures Project import generated by Copybara. 2024-02-06 17:22:34 -08:00
fiat Project import generated by Copybara. 2023-02-02 18:25:31 +00:00
flocq Project import generated by Copybara. 2024-02-06 17:22:34 -08:00
fourcolor Project import generated by Copybara. 2024-01-25 23:12:00 +09:00
gaia Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
gaia-hydras Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
gappalib Project import generated by Copybara. 2024-04-21 17:54:59 +02:00
goedel Project import generated by Copybara. 2023-02-02 18:25:31 +00:00
graph-theory Project import generated by Copybara. 2024-06-05 17:53:02 +02:00
heq Project import generated by Copybara. 2023-02-02 18:25:31 +00:00
hierarchy-builder Project import generated by Copybara. 2024-01-13 09:15:51 +01:00
HoTT Project import generated by Copybara. 2024-04-21 17:54:59 +02:00
hydra-battles Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
InfSeqExt Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
interval Project import generated by Copybara. 2024-04-21 17:54:59 +02:00
iris Project import generated by Copybara. 2024-04-21 17:54:59 +02:00
iris-named-props Project import generated by Copybara. 2024-04-21 17:54:59 +02:00
itauto Project import generated by Copybara. 2024-04-21 17:54:59 +02:00
ITree Project import generated by Copybara. 2024-02-06 17:22:34 -08:00
LibHyps Project import generated by Copybara. 2024-04-21 17:54:59 +02:00
ltac2 Project import generated by Copybara. 2023-02-02 18:25:31 +00:00
math-classes Project import generated by Copybara. 2024-05-15 17:35:15 +02:00
mathcomp Project import generated by Copybara. 2024-01-25 23:12:00 +09:00
mathcomp-abel Project import generated by Copybara. 2023-02-02 18:25:31 +00:00
mathcomp-algebra-tactics Project import generated by Copybara. 2024-02-06 17:22:34 -08:00
mathcomp-analysis Project import generated by Copybara. 2024-02-29 21:09:43 +01:00
mathcomp-apery Project import generated by Copybara. 2023-11-16 04:20:00 +00:00
mathcomp-bigenough Project import generated by Copybara. 2024-01-25 23:12:00 +09:00
mathcomp-finmap Project import generated by Copybara. 2024-01-25 23:12:00 +09:00
mathcomp-infotheo Project import generated by Copybara. 2024-06-05 17:53:02 +02:00
mathcomp-real-closed Project import generated by Copybara. 2024-02-06 17:22:34 -08:00
mathcomp-tarjan Project import generated by Copybara. 2024-01-25 23:12:00 +09:00
mathcomp-word Project import generated by Copybara. 2024-06-05 17:53:02 +02:00
mathcomp-zify Project import generated by Copybara. 2024-01-25 23:12:00 +09:00
metacoq Project import generated by Copybara. 2024-04-21 17:54:59 +02:00
metalib Project import generated by Copybara. 2023-10-09 21:29:22 +02:00
multinomials Project import generated by Copybara. 2024-02-06 17:22:34 -08:00
odd-order Project import generated by Copybara. 2023-02-02 18:25:31 +00:00
paco Project import generated by Copybara. 2024-02-06 17:22:34 -08:00
paramcoq Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
parsec Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
pocklington Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
QuickChick Project import generated by Copybara. 2024-02-06 17:22:34 -08:00
reglang Project import generated by Copybara. 2024-02-06 17:22:34 -08:00
relation-algebra Project import generated by Copybara. 2023-07-15 19:15:38 +02:00
semantics Project import generated by Copybara. 2023-10-09 21:29:22 +02:00
serapi Project import generated by Copybara. 2024-02-29 21:09:43 +01:00
simple-io Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
smpl Project import generated by Copybara. 2023-02-02 18:25:31 +00:00
smtcoq Project import generated by Copybara. 2024-02-29 21:09:43 +01:00
ssprove Project import generated by Copybara. 2024-05-15 17:35:15 +02:00
stdpp Project import generated by Copybara. 2024-04-21 17:54:59 +02:00
StructTact Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
tlc Project import generated by Copybara. 2023-07-15 19:15:38 +02:00
topology Project import generated by Copybara. 2023-10-09 21:29:22 +02:00
trakt Project import generated by Copybara. 2024-01-13 09:15:51 +01:00
vcfloat Project import generated by Copybara. 2024-04-21 17:54:59 +02:00
Velisarios Project import generated by Copybara. 2023-02-02 18:25:31 +00:00
Verdi Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
Vpl Project import generated by Copybara. 2024-04-21 17:54:59 +02:00
VplTactic Project import generated by Copybara. 2024-04-21 17:54:59 +02:00
vscoq-language-server Project import generated by Copybara. 2024-05-15 17:35:15 +02:00
VST Project import generated by Copybara. 2024-04-21 17:54:59 +02:00
zorns-lemma Project import generated by Copybara. 2024-01-02 12:29:13 +01:00