Hacker News new | ask | show | jobs
by red_admiral 35 days ago
Unless it's a non-constructive proof.