2 ms·

I'm not sure what you mean. I've been playing around with Lean and it works fine on a Mac. I am using VSCode, though.