undefined | Better HN

0 pointsoh_my_goodness4mo ago0 comments

>That's what's covered by the "assuming you have formalized the statement correctly" parenthetical.

Sure. But it's fair to ask how to validate that assumption.

0 comments

fsmv4mo ago

Skilled humans must understand the problem and write the theorem statement.

j / k navigate · click thread line to collapse

fsmv4mo ago

Skilled humans must understand the problem and write the theorem statement.

j / k navigate · click thread line to collapse