Hacker News new | ask | show | jobs
by empthought 3178 days ago
Those aren't proofs at all, and the docs even say so.