100 famous theorems proved using Coq

NOASSERTIONHTML

A collection of statements and proofs for 100 famous mathematical theorems formalized in the Coq proof assistant.

Visit Website GitHub

62 stars15 forks0 contributors

Overview

Statements of famous theorems proven in Coq [maintainer=@jmadiot]

Related Projects

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.

Submit a project Star on GitHub

6 months ago

CreatedSince 2015

Auto-fetched 1 day ago

Official Coq wiki

The 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,472

Forks733

Last commit2 days ago