Lean setup

Stream: new members

[Vasily Ilin]

I followed the installation instructions for Windows and got no error but Lean infoview does not load. It just hangs in the state like below: image.png . What should I do to fix this?

[Alex J. Best]

I think we need more info to debug this, what project did you open, and how did you download it?

[Alex J. Best]

Maybe a screenshot of the whole of vscode would help at least

[Vasily Ilin]

@Alex J. Best , your question alone resolved the issue. It made me remember that I cannot just clone a Github repo but must do leanproject get instead. Thanks :)