Y
Hacker News
new | ask | show | jobs
Broken Proofs and Broken Provers
13 points by RebelPotato 5 hours ago | 0 comments