discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Reddit
A great course on software foundations and Coq
http://www.seas.upenn.edu/~cis500/current/index.html
15 comments
29/3/2011
programming