Hacker News new | ask | show | jobs
by jstanley 1 day ago
We call a proof that is not tautological "wrong".