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