3 ms·
A trivial proof is still a proof. There's nothing trivial about "const a: int = foo();" though. Compilers disprove the claim by contradiction all the time.
by samatman 2y ago
A trivial proof is still a proof.
There's nothing trivial about "const a: int = foo();" though. Compilers disprove the claim by contradiction all the time.