Coqtop is not running

Using Coq
1

I’m having a problem with my vscoq plugin, it keeps showing ‘coqtop is not running’. it was fine in the morning but when I used it again in the afternoon I got this error.

2

How did you install Coq?

3

I downloaded it from the official website and then used the vscoq plugin from vsCode. Everything was working fine, then suddenly this afternoon there was a problem.

4

屏幕截图 2023-09-08 195509

5

Which operating system are you running?

Can you open the VS Code console and run coqidetop.opt -v?
Same for coqc -v?

6

window 11.
10
I even ran coqtop.exe directly, but it still reports this error.

7

There is a setting in VsCoq that allows to set the path to the Coq binaries: coqtop.binPath. Maybe setting this will help you, although if the binaries are already found in the console, I’m unsure this will help. You can also try to ask in https://coq.zulipchat.com/#narrow/stream/237662-VsCoq-devs-.26-users if you do not get a solution here.

8

I have set coqtop.binPath and was perfectly fine before. I will ask on the site you gave.

9

I solved the problem, thank you very much. From the URL you gave I jumped to here where I found the solution step by step. I found the answer here. It’s simply a matter of prioritizing IPV4 and IPV6