Hacker News new | ask | show | jobs
by dooglius 201 days ago
I think you may be confusing specification of the problem and the formalization of the proof.