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 Coq

brando90 February 24, 2023, 11:50pm 6

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

How to have vscode find coq?

Related topics