- A great course on software foundations and Coq http://www.seas.upenn.edu/~cis500/current/index.html 15 comments programming
Linking pages
Related searches:
Search whole site: site:www.seas.upenn.edu
Search title: A great course on software foundations and Coq
See how to search.