Hacker News new | ask | show | jobs
by sorokod 2042 days ago
Proving statements that are known to be true requires a different skillset from coming up with true statements.