VsCoq 1 is an extension for Visual Studio Code (VS Code) and VSCodium with support for the Coq Proof Assistant. It is a legacy version compatible with Coq 8.17 or lower. If you are using Coq 8.18 or higher please use the VsCoq extension.
This extension is currently developed by @maximedenes and contributors, as part of Coq Community. The original author of this extension is @siegebell.
The recommended way to install VsCoq is via the Visual Studio Marketplace or Open VSX.
code
or codium
F1
to open the command palette, start typing "Extensions: Install Extension", press enter
, and search for vscoq1
_CoqProject
- start vscode via code my/project/root
(or code .
from the root folder of your project), or else select File|Open Folder... from vscode's menu.alt+down
(MacOS: Control+Option+down
)alt+up
(MacOS: Control+Option+up
)alt+right
(MacOS: Control+Option+right
)alt+end
(MacOS: Control+Option+End
)alt+home
(MacOS: Control+Command+Home
)F1
and begin typing Coq:
(Press F1
and start typing "settings" to open either workspace/project or user settings.)
"coqtop.binPath": ""
-- specify the path to coqtop (e.g. "path/to/coq/bin/")"coqtop.args": []
-- an array of strings specifying additional command line arguments for coqtop"coqtop.loadCoqProject": true
-- set to false
to ignore _CoqProject"coqtop.coqProjectRoot": "."
-- where to expect the _CoqProject relative to the workspace rootCheckout the repo, run make, and install the produced .vsix file in the repository root by following https://code.visualstudio.com/docs/editor/extension-gallery#_install-from-a-vsix. So, either "Cmd-Shift-P" and "Extensions: Install from VSIX", or running code --install-extension vscoq1-0.4.0.vsix (or whatever version number) from the terminal.