A great course on software foundations and Coq - discu.eu

Reddit

A great course on software foundations and Coq http://www.seas.upenn.edu/~cis500/current/index.html 15 comments 29/3/2011 programming

Linking pages

GitHub - williamdemeo/TypeFunc: Resources for type theory, functional programming, etc. https://github.com/williamdemeo/TypeFunc 0 comments

Related searches:

Search whole site: site:seas.upenn.edu

Search title: A great course on software foundations and Coq

See how to search.

Submit link to: