Some exercises from software foundations: logical foundations
Primary LanguageCoqMIT LicenseMIT
No issues in this repository yet.