/Software-Foundations-Coq

Answers to some of exercises from "Software Foundations" by Benjamin C. Pierce

Primary LanguageCoqMIT LicenseMIT

Software-Foundations-Coq

Answers to some of exercises from "Software Foundations" by Benjamin C. Pierce.