Exercises in Coq for https://softwarefoundations.cis.upenn.edu/lf-current/index.html
Primary LanguageHTMLMIT LicenseMIT