Hacker News new | ask | show | jobs
What does a lean proof prove? (supaiku.com)
5 points by elcomet 182 days ago
1 comments
fjfaase 182 days ago
Interesting. A bit similar to bootstrapping.
link