L lawrencecpaulson.github.io Broken Proofs and Broken Provers 64 points RebelPotato 9 months ago 14 comments
