My personal project and infrastructure archive

You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Ben Siraphob f150888da6 coqPackages.interval: 4.4.0 -> 4.5.1		2 years ago
..
Cheerios	…
CoLoR	Revert "coqPackages: etc"	2 years ago
HoTT	Revert "coqPackages: etc"	2 years ago
ITree	…
InfSeqExt	…
LibHyps	…
QuickChick	Revert "coqPackages: etc"	2 years ago
StructTact	…
VST	Revert "coqPackages: etc"	2 years ago
Velisarios	…
Verdi	…
aac-tactics	…
addition-chains	…
autosubst	…
bignums	Revert "coqPackages: etc"	2 years ago
category-theory	coqPackages.category-theory: enable with Coq 8.15	2 years ago
ceres	…
compcert	Revert "coqPackages: etc"	2 years ago
contribs	…
coq-bits	Revert "coqPackages: etc"	2 years ago
coq-elpi	Revert "coqPackages: etc"	2 years ago
coq-ext-lib	…
coq-haskell	…
coq-record-update	…
coqeal	Revert "coqPackages: etc"	2 years ago
coqhammer	Revert "coqPackages: etc"	2 years ago
coqprime	Revert "coqPackages: etc"	2 years ago
coqtail-math	Revert "coqPackages: etc"	2 years ago
coquelicot	Revert "coqPackages: etc"	2 years ago
corn	…
deriving	…
dpdgraph	Revert "coqPackages: etc"	2 years ago
equations	…
extructures	…
fiat	Revert "coqPackages: etc"	2 years ago
flocq	Revert "coqPackages: etc"	2 years ago
fourcolor	…
gaia	…
gaia-hydras	…
gappalib	Revert "coqPackages: etc"	2 years ago
goedel	coqPackages.goedel: enable with Coq 8.15	2 years ago
graph-theory	coqPackages.graph-theory: enable for Coq 8.15	2 years ago
heq	Revert "coqPackages: etc"	2 years ago
hierarchy-builder	Revert "coqPackages: etc"	2 years ago
hydra-battles	…
interval	coqPackages.interval: 4.4.0 -> 4.5.1	2 years ago
iris	…
itauto	Revert "coqPackages: etc"	2 years ago
ltac2	Revert "coqPackages: etc"	2 years ago
math-classes	Revert "coqPackages: etc"	2 years ago
mathcomp	Revert "coqPackages: etc"	2 years ago
mathcomp-abel	…
mathcomp-analysis	…
mathcomp-bigenough	…
mathcomp-finmap	…
mathcomp-real-closed	…
mathcomp-tarjan	coqPackages.mathcomp-tarjan: enable with Coq 8.15	2 years ago
mathcomp-word	…
mathcomp-zify	…
metacoq	Revert "coqPackages: etc"	2 years ago
metalib	Revert "coqPackages: etc"	2 years ago
multinomials	…
odd-order	…
paco	…
paramcoq	…
parsec	…
pocklington	…
reglang	…
relation-algebra	…
semantics	Revert "coqPackages: etc"	2 years ago
serapi	…
simple-io	Revert "coqPackages: etc"	2 years ago
smpl	coqPackages.smpl: init at 8.14 & 8.15	2 years ago
smtcoq	Revert "coqPackages: etc"	2 years ago
stdpp	…
tlc	…
topology	…
trakt	…
zorns-lemma	…