Hacker News
- Vladimir Voevodsky, Revolutionary Mathematician, Dies at 51 https://www.nytimes.com/2017/10/06/obituaries/vladimir-voevodsky-revolutionary-mathematician-dies-at-51.html 4 comments
Linked pages
- The Origins and Motivations of Univalent Foundations - Ideas | Institute for Advanced Study https://www.ias.edu/ideas/2014/voevodsky-origins 4 comments
- GitHub - UniMath/UniMath: This coq library aims to formalize a substantial body of mathematics using the univalent point of view. https://github.com/UniMath/UniMath 0 comments
Related searches:
Search whole site: site:www.nytimes.com
Search title: Vladimir Voevodsky, Revolutionary Mathematician, Dies at 51 - The New York Times
See how to search.