Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Coq projects for type theory 2010 Herman Geuvers, James McKinna, Freek Wiedijk December 21, 2010 Here are five projects for the type theory course to choose from. Each student has to choose one of these projects. More th
Add to Reading List
Document Date: 2011-09-02 08:06:23
Open Document
File Size: 63,79 KB
Share Result on Facebook
Coq projects for type theory 2010 Herman Geuvers, James McKinna, Freek Wiedijk December 21, 2010 Here are five projects for the type theory course to choose from. Each student has to choose one of these projects. More th