Hacker News new | ask | show | jobs
by amelius 321 days ago
The blueprint is a step-by-step outline.
1 comments
tripplyons 320 days ago
If the goal is to formalize the proof, you would need more than an outline.
link