100 famous theorems proved using Coq
NOASSERTIONHTML
A collection of statements and proofs for 100 famous mathematical theorems formalized in the Coq proof assistant.
63 stars15 forks0 contributors
Overview
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
Related Projects
Official Coq wikiThe Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Stars5,525
Forks741
Last commit2 days ago
Mathematical Components wikiMathematical Components
Stars691
Forks133
Last commit1 day ago
Coq-community package maintenance projectDocumentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.
Stars73
Forks6
Last commit1 year ago
Official Coq X/TwitterStars0
Forks0
Last commit
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.