3 ms·What does a lean proof prove?5 points by elcomet 10mo agofjfaase 10mo agoInteresting. A bit similar to bootstrapping.