Software-Foundations-Coq

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

Name		Name	Last commit message	Last commit date
Latest commit History 39 Commits
ch1		ch1
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md

Provide feedback