Solutions to the exercises from the 'Software Foundations' book by Benjamin Pierce et al.
Primary LanguageCoq