Certified Programming with Dependent Types sources, by Adam Chlipala
Primary LanguageCoq
This repository is not active