discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
15-819 Homotopy Type Theory
http://www.cs.cmu.edu/~rwh/courses/hott/
32 comments
12/1/2014