I was trying to use coq in vscode but I can’t seem to make it to work. Error: Could not start coqtop (coqtop) I get this option: [enter image description here] which is puzzling since my terminal seems to know just fine where coq is: (meta_learning) brandomiranda~/sketching-learning-coq ❯ coqc…

is this a good answer? visual studio code - How to tell vscode where Coq is? (fixing Could not start coqtop (coqtop)) - Stack Overflow Ok I fixed it I think. This is what I did: create a new switch e.g. opam switch create hammer_switch ocaml-base-compiler.4.12.0 and made sure I had xcode & hombr…

Opening multiple threads means information isn’t collected together [image] brando90: which is puzzling since my terminal seems to know just fine where coq is: You’re on a Mac, so the PATH you set in the command line (via shell configuration) is not passed to any graphical application, and m…

BTW, this setting is briefly documented in GitHub - coq-community/vscoq: A Visual Studio Code extension for Coq [maintainers=@maximedenes,@fakusb] , but I’ve seen lots of people struggle with this, so better, step-by-step docs might be useful.

as a bonus question, if you change your switch (or install a new coq package) make sure to update the path in vscode and change switch e.g. see: Installation issues -- No package named coq-hammer-tactics found · Issue #122 · lukaszcz/coqhammer · GitHub

[image] Blaisorblade: VSCode settings (usually with Cmd and comma ,) related: How to import Basics.v in Induction.v of LF using VS Coq extension - #7 by onlychans1

How to have vscode find coq?

Using Rocq

brando90 February 24, 2023, 11:50pm 6

Topic		Replies	Views
Coqtop is not running Using Rocq	8	1013	September 8, 2023
Coqtop not found Using Rocq	12	5684	October 17, 2023
Ask For Basic Commands For COQ Miscellaneous	15	1708	September 8, 2021
Using Coq platform on Mac Using Rocq	1	651	July 7, 2022
How to import Basics.v in Induction.v of LF using VS Coq extension Using Rocq software-foundations	7	4351	February 24, 2023

How to have vscode find coq?

Related topics