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