Certified Programming with Dependent Types sources, by Adam Chlipala
Primary LanguageCoq
No issues in this repository yet.