R renaissancephilanthropy.org Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics 2 points ocfnash 1 year ago 0 comments
