depot/third_party/nixpkgs/pkgs/development/coq-modules
Default email 555cd8a8f9 Project import generated by Copybara.
GitOrigin-RevId: 5633bcff0c6162b9e4b5f1264264611e950c8ec7
2024-10-09 18:51:18 +02:00
..
aac-tactics Project import generated by Copybara. 2024-07-01 15:47:52 +00:00
addition-chains Project import generated by Copybara. 2023-10-09 21:29:22 +02:00
async-test Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
atbr Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
autosubst Project import generated by Copybara. 2024-09-26 11:04:55 +00:00
bbv Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
bignums Project import generated by Copybara. 2024-07-01 15:47:52 +00:00
category-theory Project import generated by Copybara. 2024-06-20 20:27:18 +05:30
ceres Project import generated by Copybara. 2024-07-01 15:47:52 +00:00
Cheerios Project import generated by Copybara. 2024-07-01 15:47:52 +00:00
coinduction Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
CoLoR Project import generated by Copybara. 2024-07-01 15:47:52 +00:00
compcert Project import generated by Copybara. 2024-10-04 18:56:33 +02:00
contribs Project import generated by Copybara. 2023-02-02 18:25:31 +00:00
coq-bits Project import generated by Copybara. 2024-06-20 20:27:18 +05:30
coq-elpi Project import generated by Copybara. 2024-07-01 15:47:52 +00:00
coq-ext-lib Project import generated by Copybara. 2024-07-01 15:47:52 +00:00
coq-hammer Project import generated by Copybara. 2024-07-27 08:49:29 +02:00
coq-haskell Project import generated by Copybara. 2024-06-20 20:27:18 +05:30
coq-lsp Project import generated by Copybara. 2024-10-09 18:51:18 +02:00
coq-record-update Project import generated by Copybara. 2024-07-01 15:47:52 +00:00
coqeal Project import generated by Copybara. 2024-07-01 15:47:52 +00:00
coqhammer Project import generated by Copybara. 2024-07-27 08:49:29 +02:00
coqide Project import generated by Copybara. 2024-10-04 18:56:33 +02:00
coqprime Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
coqtail-math Project import generated by Copybara. 2023-02-02 18:25:31 +00:00
coquelicot Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
corn Project import generated by Copybara. 2024-07-01 15:47:52 +00:00
deriving Project import generated by Copybara. 2024-07-01 15:47:52 +00:00
dpdgraph Project import generated by Copybara. 2024-04-21 17:54:59 +02:00
ElmExtraction Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
equations Project import generated by Copybara. 2024-07-27 08:49:29 +02:00
extructures Project import generated by Copybara. 2024-07-01 15:47:52 +00:00
fiat Project import generated by Copybara. 2024-06-20 20:27:18 +05:30
flocq Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
fourcolor Project import generated by Copybara. 2024-07-27 08:49:29 +02:00
gaia Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
gaia-hydras Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
gappalib Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
goedel Project import generated by Copybara. 2024-06-20 20:27:18 +05:30
graph-theory Project import generated by Copybara. 2024-07-01 15:47:52 +00:00
heq Project import generated by Copybara. 2023-02-02 18:25:31 +00:00
hierarchy-builder Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
high-school-geometry Project import generated by Copybara. 2024-07-31 10:19:44 +00:00
HoTT Project import generated by Copybara. 2024-10-04 18:56:33 +02:00
http Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
hydra-battles Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
InfSeqExt Project import generated by Copybara. 2024-07-01 15:47:52 +00:00
interval Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
iris Project import generated by Copybara. 2024-06-20 20:27:18 +05:30
iris-named-props Project import generated by Copybara. 2024-04-21 17:54:59 +02:00
itauto Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
ITree Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
itree-io Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
json Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
LibHyps Project import generated by Copybara. 2024-07-01 15:47:52 +00:00
ltac2 Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
math-classes Project import generated by Copybara. 2024-07-01 15:47:52 +00:00
mathcomp Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
mathcomp-abel Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
mathcomp-algebra-tactics Project import generated by Copybara. 2024-07-01 15:47:52 +00:00
mathcomp-analysis Project import generated by Copybara. 2024-10-09 18:51:18 +02:00
mathcomp-apery Project import generated by Copybara. 2024-06-20 20:27:18 +05:30
mathcomp-bigenough Project import generated by Copybara. 2024-07-01 15:47:52 +00:00
mathcomp-finmap Project import generated by Copybara. 2024-07-01 15:47:52 +00:00
mathcomp-infotheo Project import generated by Copybara. 2024-10-09 18:51:18 +02:00
mathcomp-real-closed Project import generated by Copybara. 2024-07-01 15:47:52 +00:00
mathcomp-tarjan Project import generated by Copybara. 2024-07-01 15:47:52 +00:00
mathcomp-word Project import generated by Copybara. 2024-07-27 08:49:29 +02:00
mathcomp-zify Project import generated by Copybara. 2024-07-01 15:47:52 +00:00
MenhirLib Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
metacoq Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
metalib Project import generated by Copybara. 2023-10-09 21:29:22 +02:00
mtac2 Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
multinomials Project import generated by Copybara. 2024-07-27 08:49:29 +02:00
odd-order Project import generated by Copybara. 2023-02-02 18:25:31 +00:00
paco Project import generated by Copybara. 2024-07-01 15:47:52 +00:00
paramcoq Project import generated by Copybara. 2024-07-01 15:47:52 +00:00
parsec Project import generated by Copybara. 2024-07-01 15:47:52 +00:00
pocklington Project import generated by Copybara. 2024-01-02 12:29:13 +01:00
QuickChick Project import generated by Copybara. 2024-09-26 11:04:55 +00:00
reglang Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
relation-algebra Project import generated by Copybara. 2023-07-15 19:15:38 +02:00
rewriter Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
semantics Project import generated by Copybara. 2024-06-20 20:27:18 +05:30
serapi Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
simple-io Project import generated by Copybara. 2024-09-26 11:04:55 +00:00
smpl Project import generated by Copybara. 2024-06-20 20:27:18 +05:30
smtcoq Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
ssprove Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
stalmarck Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
stdpp Project import generated by Copybara. 2024-06-20 20:27:18 +05:30
StructTact Project import generated by Copybara. 2024-07-01 15:47:52 +00:00
tlc Project import generated by Copybara. 2024-07-27 08:49:29 +02:00
topology Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
trakt Project import generated by Copybara. 2024-06-20 20:27:18 +05:30
unicoq Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
vcfloat Project import generated by Copybara. 2024-06-20 20:27:18 +05:30
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-06-20 20:27:18 +05:30
vscoq-language-server Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
VST Project import generated by Copybara. 2024-06-20 20:27:18 +05:30
waterproof Project import generated by Copybara. 2024-09-19 17:19:46 +03:00
zorns-lemma Project import generated by Copybara. 2024-07-01 15:47:52 +00:00