N
Hacker Next
new
past
show
ask
show
jobs
submit
login
▲
What does a lean proof prove?
(
supaiku.com
)
5 points by
elcomet
53 days ago
|
1 comment
add comment
fjfaase 53 days ago
[-]
Interesting. A bit similar to bootstrapping.
Rendered at 14:10:40 GMT+0000 (Coordinated Universal Time) with Vercel.