Remix.run Logo
▲ ew-dev 3 hours ago

> simply dumping proofs on the math community and expecting others to > do the grunt work of verifying, refining, and expanding

Hm, kinda reminds me of my college days. "Proof trivial, left as home work." was a sentence my Profs loved to say.