Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Cannot interpret coq file on ubuntu with Coq and VsCode installed through Snap.

See original GitHub issue

I have installed coq via snap. If I use coqide everything works well. Then I have created a new directory and a coq file inside and created new vscode project by typing code . I have installed vscoq. When I press alt + home or other shortcut there is almost no reaction. alt + up brings up a proofview window with the “Not running” words written. Setting path to directory with coqtop does not help. Ubuntu 20.10

Issue Analytics

State:
Created 3 years ago
Comments:22 (17 by maintainers)

Top GitHub Comments

1reaction

fakusbcommented, Apr 6, 2021

@Zimmi48 I will publish this hotfix asap

1reaction

garescommented, Apr 2, 2021

I think the easiest workaround is to install the hacked vsix as per https://github.com/coq-community/vscoq/issues/221#issuecomment-802132705

Top Results From Across the Web

How to tell vscode where Coq is? (fixing Could not start ...

1 Answer 1 · create a new switch e.g. opam switch create hammer_switch ocaml-base-compiler. · I installed the coq plataform using their binaries...

How to have vscode find coq? - Using Coq - Coq's discourse

I was trying to use coq in vscode but I can't seem to make it to work. Error: Could not start coqtop (coqtop)....

VSCoq - Visual Studio Marketplace

An IDE for the Coq Proof Assistant. Installation. Launch VS Code Quick Open ( Ctrl+P ), paste the following command, and press enter....

Process for aliases, auto-connections and tracks - store-requests

content for theme snaps - in addition to the above considerations, eventually snapd might suggest or auto-install theme snaps based on various criteria....

Zulip Chat Archive - GitLab

... Use Micromega_plugin in another plugin, in Coq-8.16 (4 messages, latest: Oct 11 2022 at 15:17); ✓ .mlg files in vscode (3 messages,...