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