coq-100-theorems

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

55 stars

4 watching

14 forks

Language: HTML

last commit: 7 months ago

Linked from 2 awesome lists

coqtheorems

Screenshot of coq-community/coq-100-theorems website

madiot.fr/coq100/

Backlinks from these awesome lists: