Voevodsky’s Mathematical Revolution

145 points by juliangamble

Read the article

Discussion on Hacker News