Following the renaming of the Coq proof assistant into the Rocq Prover, this organization has been renamed to Rocq-community.
Following the renaming of the Coq proof assistant into the Rocq Prover, this organization has been renamed to Rocq-community.
coq-program-verification-template
Template project for program verification in Coq, showcasing reasoning on CompCert's Clight language using the Verified Software Toolchain [maintainer=@palmskog]
vscoq
A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]
awesome-coq
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]
math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]
fourcolor
Formal proof of the Four Color Theorem [maintainer=@ybertot]
corn
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]
coq-ext-lib
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
manifesto
Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.
coq-dpdgraph
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
coq-art
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]