Awesome Lists

coq-100-theorems

by coq-community

HTMLpushed over 2 years ago

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

AI summary

Theorem repository

Repository tracking famous theorems proved using proof assistants.

stars
57
forks
14
watching
4
awesome lists
2
View on GitHubmadiot.fr/coq100

Embed the badge

Show how many awesome lists link to your project. The count updates automatically.

Awesome Lists badge
Markdown
[![Awesome Lists Badge](https://awesome.facts.dev/shield/coq-community/coq-100-theorems/links.svg)](https://awesome.facts.dev/awesome/coq-community/coq-100-theorems)
HTML
<a href="https://awesome.facts.dev/awesome/coq-community/coq-100-theorems"><img src="https://awesome.facts.dev/shield/coq-community/coq-100-theorems/links.svg" alt="Awesome Lists Badge" /></a>
Image URL
https://awesome.facts.dev/shield/coq-community/coq-100-theorems/links.svg

Add a GitHub project

Missing a project or an awesome list? Paste its GitHub URL and we fetch it right away.