ParentFull threadandoando·I mean it would be ridiculously easy to make up any number of incorrect proofs.It would have to show something new and interesting.View on HN