Coq scripts and exercises from Software Foundations by Benjamin Pierce et al - View it on GitHub