3 ms·
Maybe years ago that would have been a plausible definition, but by now many proofs have been verified by computer, including several which probably no-one woul
by omaranto 11y ago
Maybe years ago that would have been a plausible definition, but by now many proofs have been verified by computer, including several which probably no-one would feel comfortable calling trivial.