A library of Coq definitions, theorems, and tactics.
Primary LanguageCoqOtherNOASSERTION
No one’s star this repository yet.