nixpkgs/pkgs/development/coq-modules
2024-06-25 09:05:11 -07:00
..
aac-tactics
addition-chains
autosubst
bignums
category-theory treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
ceres
Cheerios
CoLoR treewide: Remove ending period from meta.description 2024-06-09 23:04:51 +02:00
compcert compcert: add support for Coq 8.19.2 2024-06-17 09:15:12 +02:00
contribs
coq-bits treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
coq-elpi coqPackages.coq-elpi: avoid top-level with ...; 2024-06-25 09:05:11 -07:00
coq-ext-lib treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
coq-haskell treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
coq-lsp
coq-record-update
coqeal
coqhammer
coqide treewide: Remove the definite article from meta.description 2024-06-09 23:08:46 +02:00
coqprime
coqtail-math
coquelicot treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
corn treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
deriving
dpdgraph
equations treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
extructures
fiat treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
flocq treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
fourcolor
gaia
gaia-hydras
gappalib
goedel treewide: Remove the definite article from meta.description 2024-06-09 23:08:46 +02:00
graph-theory
heq
hierarchy-builder
HoTT treewide: Remove the definite article from meta.description 2024-06-09 23:08:46 +02:00
hydra-battles
InfSeqExt
interval
iris treewide: Remove the definite article from meta.description 2024-06-09 23:08:46 +02:00
iris-named-props
itauto treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
ITree treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
LibHyps
ltac2 treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
math-classes treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
mathcomp coqPackages.mathcomp: avoid top-level with ...; 2024-06-25 09:04:21 -07:00
mathcomp-abel
mathcomp-algebra-tactics
mathcomp-analysis coqPackages.mathcomp-analysis: avoid top-level with ...; 2024-06-25 09:04:57 -07:00
mathcomp-apery treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
mathcomp-bigenough treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
mathcomp-finmap treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
mathcomp-infotheo treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
mathcomp-real-closed
mathcomp-tarjan
mathcomp-word
mathcomp-zify
metacoq coqPackages.metacoq: avoid top-level with ...; 2024-06-25 09:03:43 -07:00
metalib
multinomials treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
odd-order
paco treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
paramcoq
parsec
pocklington
QuickChick
reglang
relation-algebra
semantics treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
serapi
simple-io
smpl treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
smtcoq
ssprove
stdpp treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
StructTact
tlc treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
topology
trakt treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
vcfloat treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
Velisarios
Verdi
Vpl
VplTactic treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
vscoq-language-server
VST compcert: add support for Coq 8.19.2 2024-06-17 09:15:12 +02:00
zorns-lemma