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…

How to have vscode find coq?

Using Rocq

brando90 February 24, 2023, 11:50pm 6

Topic		Replies	Views
Coqtop not found Using Rocq	12	5524	October 17, 2023
Coqtop is not running Using Rocq	8	855	September 8, 2023
Ask For Basic Commands For COQ Miscellaneous	15	1615	September 8, 2021
How to install Coq when it says the repository cannot be found? (e.g. issues with m1 chip mac, apple) Using Rocq	21	3793	February 17, 2022
How to install the coq 8.14 package with opam pin when it says it can't find it? Using Rocq	1	608	December 11, 2022

How to have vscode find coq?

Related topics