W writings.stephenwolfram.com Who Can Understand the Proof? A Window on Formalized Mathematics 190 points ColinWright 1 year ago 115 comments
