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