Skip to content
Better HN
Top
Best
Ask
Show
New
Jobs
Search
⌘K
0 points
amelius
10mo ago
0 comments
Save
Share
The blueprint is a step-by-step outline.
0 comments
1 comments · 1 top-level
top
newest
oldest
tripplyons
10mo ago
If the goal is to formalize the proof, you would need more than an outline.
j
/
k
navigate · click thread line to collapse