Roman Anokhin

Waiting for Lean server to start...

2

I am using distribution manjaro linux. vscode https://aur.archlinux.org/packages/visual-studio-code-bin lean 4 plugin. I get the following error when trying to get the result of interpreting the proof on lean: `Waiting for...