..
aac-tactics
coqPackages.aac-tactics: 8.13.2, 8.14.1, 8.15.1
2022-04-04 11:21:01 +02:00
addition-chains
autosubst
bignums
coqPackages: etc
2022-05-25 20:00:25 +02:00
category-theory
coqPackages.category-theory: enable with Coq 8.15
2022-05-07 07:29:25 +02:00
ceres
Cheerios
CoLoR
coqPackages: etc
2022-05-25 20:00:25 +02:00
compcert
coqPackages: etc
2022-05-25 20:00:25 +02:00
contribs
coq-bits
coqPackages: etc
2022-05-25 20:00:25 +02:00
coq-elpi
coqPackages: etc
2022-05-25 20:00:25 +02:00
coq-ext-lib
coq-haskell
coq-record-update
coqeal
coqPackages: etc
2022-05-25 20:00:25 +02:00
coqhammer
coqPackages: etc
2022-05-25 20:00:25 +02:00
coqprime
coqPackages: etc
2022-05-25 20:00:25 +02:00
coqtail-math
coqPackages: etc
2022-05-25 20:00:25 +02:00
coquelicot
coqPackages: etc
2022-05-25 20:00:25 +02:00
corn
deriving
dpdgraph
coqPackages: etc
2022-05-25 20:00:25 +02:00
equations
extructures
fiat
coqPackages: etc
2022-05-25 20:00:25 +02:00
flocq
coqPackages: etc
2022-05-25 20:00:25 +02:00
fourcolor
gaia
gaia-hydras
gappalib
coqPackages: etc
2022-05-25 20:00:25 +02:00
goedel
coqPackages.goedel: enable with Coq 8.15
2022-05-07 07:29:30 +02:00
graph-theory
coqPackages.graph-theory: enable for Coq 8.15
2022-05-07 07:29:18 +02:00
heq
coqPackages: etc
2022-05-25 20:00:25 +02:00
hierarchy-builder
coqPackages: etc
2022-05-25 20:00:25 +02:00
HoTT
coqPackages: etc
2022-05-25 20:00:25 +02:00
hydra-battles
InfSeqExt
interval
coqPackages: etc
2022-05-25 20:00:25 +02:00
iris
itauto
coqPackages: etc
2022-05-25 20:00:25 +02:00
ITree
LibHyps
ltac2
coqPackages: etc
2022-05-25 20:00:25 +02:00
math-classes
coqPackages: etc
2022-05-25 20:00:25 +02:00
mathcomp
coqPackages: etc
2022-05-25 20:00:25 +02:00
mathcomp-abel
mathcomp-analysis
mathcomp-bigenough
mathcomp-finmap
mathcomp-real-closed
mathcomp-tarjan
coqPackages.mathcomp-tarjan: enable with Coq 8.15
2022-05-07 07:29:45 +02:00
mathcomp-word
coqPackages.mathcomp-word: 1.0 → 1.1
2022-04-26 13:11:29 +02:00
mathcomp-zify
metacoq
coqPackages: etc
2022-05-25 20:00:25 +02:00
metalib
coqPackages: etc
2022-05-25 20:00:25 +02:00
multinomials
odd-order
paco
paramcoq
parsec
coqPackages.parsec: 0.1.0 → 0.1.1
2022-04-29 07:11:26 +02:00
pocklington
QuickChick
coqPackages: etc
2022-05-25 20:00:25 +02:00
reglang
relation-algebra
coqPackages.relation-algebra: 1.7.6, 1.7.7
2022-04-04 11:24:27 +02:00
semantics
coqPackages: etc
2022-05-25 20:00:25 +02:00
serapi
simple-io
coqPackages: etc
2022-05-25 20:00:25 +02:00
smpl
coqPackages.smpl: init at 8.14 & 8.15
2022-05-07 07:29:39 +02:00
smtcoq
coqPackages: etc
2022-05-25 20:00:25 +02:00
stdpp
StructTact
tlc
coqPackages.tlc: 20210316 → 20211215
2022-04-28 20:56:01 +02:00
topology
trakt
coqPackages.trakt: init at 1.0
2022-04-13 19:38:00 -05:00
Velisarios
Verdi
coqPackages.Verdi: 20210524 → 20211026
2022-04-19 21:35:05 +02:00
VST
coqPackages: etc
2022-05-25 20:00:25 +02:00
zorns-lemma