manzyuk / cpdt-exercises

My solutions to exercises for "Certified Programming with Dependent Types" by Adam Chlipala

Geek Repo

Github PK Tool