Hacker News new | ask | show | jobs
by kiriakasis 2698 days ago
The proofs you produce are probably weaker than those the author wants