Multi platform setup for Coq, Coq libraries and tools
CC0-1.0 License
A Seamless, Interactive Tactic Learner and Prover for Coq
An API for interfacing with Coq through Tactician by external agents
Randomized Property-Based Testing Plugin for Coq
Mathematical Components compliant Analysis Library
Visual Studio Code Extension and Language Server Protocol for Coq
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
Archive for all Coq related OPAM packages organized in various repositories
Visual Studio Code extension for Coq
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
Tricks you wish the Coq manual told you [maintainer=@tchajed]
Formalization of C++ for verification purposes.
Documentation on goals of the coq-community organization, the shared contributing guide and code ...
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
Mostly Automated Proof Repair for Verified Libraries
Formal verification for OCaml