How to Formalize All of Mathematics

 (terrytao.wordpress.com)

2 points | by smilelamp 1 hour ago

0 comments