4 ms·
Certified Programming with Dependent Types http://adam.chlipala.net/cpdt/ http://adam.chlipala.net/cpdt/
by jeffcoat 10y ago
Certified Programming with Dependent Types
http://adam.chlipala.net/cpdt/ http://adam.chlipala.net/cpdt/
loading thread…