My take on the software foundations ebook and exercises
Primary LanguageCoqMIT LicenseMIT
No issues in this repository yet.