3 ms·But still, Lean is executable and can be used as an ordinary programming language.by ibobev 6mo agoBut still, Lean is executable and can be used as an ordinary programming language.