/coq-100-theorems

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

Primary LanguageHTMLOtherNOASSERTION

Watchers

No one’s watching this repository yet.