Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
What does a lean proof prove?
(opens in new tab)
(supaiku.com)
5 points
elcomet
3mo ago
1 comments
Share
What does a lean proof prove? | Better HN
1 comments
default
newest
oldest
fjfaase
3mo ago
Interesting. A bit similar to bootstrapping.
j
/
k
navigate · click thread line to collapse
