undefined | Better HN

0 pointsrpois1y ago0 comments

Does this formalization process include giving it the answer it should try to prove?

0 comments

1 comments · 1 top-level

Nope, per Oliver Nash who worked on the thing: https://news.ycombinator.com/item?id=41070372

j / k navigate · click thread line to collapse