2 ms·> your Lean files are full of `sorry`s You meant this literally, but this such a beautiful insult.by gowld 9mo ago> your Lean files are full of `sorry`s You meant this literally, but this such a beautiful insult.