/software-foundations

My take on the software foundations ebook and exercises

Primary LanguageCoqMIT LicenseMIT

Watchers

No one’s watching this repository yet.