-
Updated
Jan 9, 2026 - Rocq Prover
#
coq-platform
Here are 9 public repositories matching this topic...
Language: All
Filter by language
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
-
Updated
Feb 26, 2026 - Rocq Prover
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
-
Updated
Jan 9, 2026 - Rocq Prover
-
Updated
Feb 9, 2026 - OCaml
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
-
Updated
Mar 6, 2026 - Rocq Prover
regexp coq regular-languages ssreflect mathcomp docker-coq-action coq-nix-toolbox coq-platform mathcomp-ci
-
Updated
Mar 3, 2026 - Rocq Prover
Old Coq plugin for parametricity [maintainer=@ppedrot]
-
Updated
Feb 24, 2026 - Rocq Prover
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
-
Updated
Oct 28, 2025 - OCaml
Improve this page
Add a description, image, and links to the coq-platform topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the coq-platform topic, visit your repo's landing page and select "manage topics."