Hacker News new | ask | show | jobs
by tripplyons 323 days ago
If the goal is to formalize the proof, you would need more than an outline.