Who Can Understand the Proof? A Window on Formalized Mathematics

190 points

by ColinWright

1 years ago

115 comments