Exercises and code ripped-off from the UMass Amherst CS691PL course and Chlipala's "Certified Programming with Dependent Types"
Primary LanguageCoq
No issues in this repository yet.