Lemmas contributed to the 2017 FP-Syd Coq Fight
Primary LanguageCoq
No issues in this repository yet.