Towards a Wiki For Formally Verified Mathematics
Science ·
Math ·
· posted by
kdawson
· from the preparing-the-ground-for-our-robot-overlords dept.
· 299 comments
The 23 Toughest Math Questions
Science ·
Math ·
· posted by
kdawson
· from the innumerate-need-not-apply dept.
· 340 comments