I get the message "coqtop is not running". I am using NixOS and have installed the extension using home-manager, as one of the extensions in my list of extensions for programs.vscode.extensions.
What version of Coq and VsCoq do you have?
I am using Coq 8.9.1 and VSCoq 0.3.1
Last updated: Oct 03 2023 at 19:01 UTC