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