▲ 3 pointsInsanely Long Proofs (2012)johncarlosbaez.wordpress.comby nill0·1y ago·0 comments·view on hn ↗