My take on the software foundations ebook and exercises
Primary LanguageCoqMIT LicenseMIT
This repository is not active