haansn08/coq-100-theorems
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
HTMLNOASSERTION
Watchers
No one’s watching this repository yet.
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
HTMLNOASSERTION
No one’s watching this repository yet.