Hacker News new | ask | show | jobs
by golly_ned 2 hours ago
Please read the article. You've ignored proof checkers.