3 ms·> Thinking rock make many wrong marks So do humans. Don't Lean proofs take care of that?by david-gpu 2mo ago> Thinking rock make many wrong marks So do humans. Don't Lean proofs take care of that?