pkgs/development/coq-modules · nixpkgs · Tangled

lol

nixpkgs pkgs development coq-modules

126 folders

damhiya · coqPackages.Ordinal: 0.5.4 -> 0.5.6 · 6mo ago

coqPackages.aac-tactics: enable for Coq > 9.0

addition-chains

autosubst-ocaml

CakeMLExtraction

coqPackages.CakeMLExtraction: init at 0.1.0

category-theory

coqPackages.metarocq: 1.4.1 -> 1.5.1

coqPackages.CertiRocq: init at 0.9.1

treewide: Remove continuation escape at end of commands

coqPackages.metarocq: 1.4.1 -> 1.5.1

coqPackages.coq-elpi: use default elpi-version when not provided

coq-record-update

coqPackages.coqprime: 8.18 → 8.20

coqPackages.coquelicot: now depending on OCaml

coqPackages.ExtLib: 0.13.0 → 0.13.1

coqPackages.flocq: 4.2.1 -> 4.2.2

hierarchy-builder

high-school-geometry

rocqPackages.iris: init at 4.5.0

iris-named-props

coqPackages.jasmin: 2025.06.1 → 2026.03.1

lemma-overloading

mathcomp-algebra-tactics

mathcomp-analysis

rocqPackages.mathcomp-analysis: init at 1.16.0

mathcomp-bigenough

mathcomp-finmap

mathcomp-infotheo

coqPackages.mathcomp-infotheo: 0.9.6 -> 0.9.7

mathcomp-real-closed

mathcomp-tarjan

coqPackages.mathcomp-word: 3.3 → 3.4

coqPackages.metarocq: 1.4.1 -> 1.5.1

coqPackages.mtac2: enable for Coq 9.1

coqPackages.Ordinal: 0.5.4 -> 0.5.6

relation-algebra

coqPackages.rewriter: enable for Coq > 9.0

coqPackages.ssprove: 0.3.0 -> 0.3.1

rocqPackages.iris: init at 4.5.0

TypedExtraction

coqPackages.metarocq: 1.4.1 -> 1.5.1

coqPackages.unicoq: enable for Coq ≥ 9.1

verified-extraction

coqPackages_9_1.verified-extraction: fix `meta` eval

vscoq-language-server

coqPackages.VST: 2.15 -> 2.16

coqPackages.wasmcert: 2.2.0 is compatible with 9.1