Introduction to Synthetic Mathematics (2015)golem.ph.utexas.edu7 points·ernesto95··0 commentsOpen articleSaveView on HN