Watchdog error: no such file or directory (error code: 2)

Stream: lean4

[draell]

Sooo.. I'm fighting against it error but i didnt get anything... Id try to reinstall everything and etc etc. what should i do next :sob: :sob: :sob: . May i get some help here?

[draell]

image.png

[Scott Morrison]

Could you tell us what you're trying to do? It is hard to guess from a screenshot. Are you trying to use Lean from VSCode? Which getting started instructions did you follow?