Super HN
New
Show
Broken Proofs and Broken Provers
(lawrencecpaulson.github.io)
4 points by RebelPotato 3 hours ago