Broken Proofs and Broken Provers

by RebelPotato | View on Hacker News