Hacker News new | ask | show | jobs
by fsmv 202 days ago
Skilled humans must understand the problem and write the theorem statement.