← Back to context

Comment by dooglius

2 days ago

I think you may be confusing specification of the problem and the formalization of the proof.

0 comments

dooglius

Reply

No comments yet

Contribute on Hacker News ↗