Who Can Understand the Proof? A Window on Formalized Mathematics

188 points

by ColinWright

1 weeks ago

115 comments