Sajadrahimi/Software-Foundations-Coq

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

Software-Foundations-Coq

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