Broken Proofs and Broken Provers

(lawrencecpaulson.github.io)

13 points | by RebelPotato 5 hours ago ago