5 ms·And soon it will be "but I don't want to learn Lean".by generationP 1y agoAnd soon it will be "but I don't want to learn Lean".