Brandon Sisler (Nov 23 2022 at 04:11): Brandon Sisler (Nov 23 2022 at 04:11):Hey all, I am new here so apologies if this is not the proper channel to post this, but I am having an issue with getting Coq to work in VsStudio.
The issue I have been getting is this
image.png
Then, when I provide the path (I have tried to feed it the path both to coqtop and to coqtop.opt just to see if it would work), it says that it is not a valid path. The current solutions online do not seem to be oriented for the binary installers for Windows, which is what I have. I know that I have Coq correctly installed, since it runs just fine on its own, so I am stumped. Let me know what you all think, thanks!
Michael Soegtrop (Nov 23 2022 at 07:28):It would have been more useful to show the path you entered. In general you need to enter the folder in which the binaries are, not the binaries. There is also a dedicated VsCoq stream. I will move this message there.
Brandon Sisler (Nov 23 2022 at 07:36):Michael Soegtrop said:
It would have been more useful to show the path you entered. In general you need to enter the folder in which the binaries are, not the binaries. There is also a dedicated VsCoq stream. I will move this message there.
Thank you, that worked! I really appreciate it!
Notification Bot (Nov 23 2022 at 07:37):Brandon Sisler has marked this topic as resolved.
Last updated: Jun 04 2023 at 23:30 UTC