What does a lean proof prove? supaiku.com 5 points by elcomet a year ago · 1 comment Reader PiP Save Collapse all Expand all 1 thread fjfaase a year ago Interesting. A bit similar to bootstrapping.