▲ 4 pointsProcess over state: Math is about proofs, not theoremsegtheory.wordpress.comby EndXA·7y ago·0 comments·view on hn ↗