Coq-Language-Server crashing multiple times


I’m getting the following error multiple times when I try to write code in VSCode. It only works if I restart the application. Is there a solution?

The Coq Language Server server crashed 5 times in the last 3 minutes. The server will not be restarted. See the output for more information. Server process exited with code 0.

We had a similar report today, and the work around was to switch “diff mode” off in the extension settings.

If the problem persists, please write on the zulip channel:


Thank you so much for replying! “diff mode” was already off by default. I will see for a while if the problem still persists. Thank you!