loading messages

Stream: new members

[Suvendu Kar]

Hi,
In my window device its taking long to lean infoview to start.I faced the following issue, please help to resolve.
lean_error.png

[Kevin Buzzard]

Looks like you're compiling mathlib. lake exe cache get should download precompiled binaries for you.

[Jireh Loreaux]

But you need to close the VS Code tabs and kill all the Lean processes first.