Solutions to the exercises in Software Foundations by Benjamin Pierce et al.
Primary LanguageCoqMIT LicenseMIT