3 ms·
Want to learn Coq? Take a look at “Certified programming with dependent types”, by Adam Chlipala: http://adam.chlipala.net/cpdt/ http://adam.chlipala.net/cpdt
by mietek 11y ago
Want to learn Coq? Take a look at “Certified programming with dependent types”, by Adam Chlipala:
http://adam.chlipala.net/cpdt/ http://adam.chlipala.net/cpdt/