Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics (renaissancephilanthropy.org) 2 points by ocfnash 9mo ago ↗ HN
0 comments
[ 5.7 ms ] story [ 7.9 ms ] threadNo comments yet.