Hacker News new | ask | show | jobs
Introduction to Synthetic Mathematics (2015) (golem.ph.utexas.edu)
7 points by ernesto95 2259 days ago