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 is not running Using Rocq	8	1002	September 8, 2023
Coqtop not found Using Rocq	12	5658	October 17, 2023
Ask For Basic Commands For COQ Miscellaneous	15	1704	September 8, 2021
Using Coq platform on Mac Using Rocq	1	648	July 7, 2022
How to import Basics.v in Induction.v of LF using VS Coq extension Using Rocq software-foundations	7	4318	February 24, 2023

How to have vscode find coq?

Related topics