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