2 ms·Lean checks that the proof is valid, it didn't find the proof.by dooglius 2y agoLean checks that the proof is valid, it didn't find the proof.