Remix.run Logo
andoando 8 hours ago

I mean it would be ridiculously easy to make up any number of incorrect proofs.

It would have to show something new and interesting.