Certified Programming with Dependent Types - examples, learning material.
pindaroso / cpdt Goto Github PK
View Code? Open in Web Editor NEWThis project forked from andorp/cpdt
Certified Programming with Dependent Types - examples, learning material.