Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

IVE READ CPDT

Name: Anonymous 2011-10-05 4:38

Certified Programming with Dependent Types

DOESNT GET MORE EXPERT THAN THIS http://adam.chlipala.net/cpdt/

Name: Anonymous 2011-10-05 19:53

>>5
Dude you can prove that mathematically in shorter than that. Either Coq sucks or you suck (at) Coq.
Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode -