A Visual Studio Code extension for Coq [[email protected],@fakusb]
This extension is currently developped 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.
F1to open the command palette, start typing "Extensions: Install Extension", press
enter, and search for
code .from the root folder of your project), or else select File|Open Folder... from vscode's menu.
F1and begin typing
F1and 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
falseto ignore _CoqProject
Checkout 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 vscoq-0.3.2.vsix (or whatever version number) from the terminal.