Broken Proofs and Broken Provers

lawrencecpaulson.github.io

13 points by RebelPotato 5 hours ago