| ▲ | macleginn 2 hours ago | |
The thing is, you often see people saying, ‘They have a Lean cert, so it has to be correct, even if I don't understand it.’ | ||
| ▲ | sebzim4500 2 hours ago | parent [-] | |
They are right? The lean proof is correct. It's the natural language proof that potentially isn't (or at least it isn't identically structured to the lean proof) | ||