Who Can Understand the Proof? A Window on Formalized Mathematicswritings.stephenwolfram.com190 pointsColinWrighta year ago