There are 56 repositories under coq topic.
An axiom-free formalization of category theory in Coq for personal study and practical work
This repo is the new home of Proof General
A gently curated list of companies using verification formal methods in industry
Verified Software Toolchain
An introductory course to Homotopy Type Theory
A Coq IDE build on top of Proof General's Coq mode
A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]
My personal repository of formally verified mathematics.
The Principia Rewrite
LLM verified with Monte Carlo Tree Search
A curated set of links to formal methods involving provable code.
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]
Lecture notes for a short course on proving/programming in Coq via SSReflect.
Formal proof of the Four Color Theorem [maintainer=@ybertot]