Skip to content
Elazar Gershuni edited this page Jan 30, 2017 · 4 revisions

Instructions

  1. install Coq 8.5
  2. install vscode
  3. run code
  4. install this extension: press F1 to open the command palette, start typing "Extensions: Install Extension", press enter, and search for vscoq
  5. select "enable" on the extension, or else manually reload or restart vscode

Basic usage

  • if you use _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.
  • step forward: ctrl+alt+down
  • step backward: ctrl+alt+up
  • interpret to point: ctrl+alt+right
  • interpret to end: ctrl+alt+end
  • interpret to home (and reset Coq): ctrl+alt+home
  • interrupt computation: ctrl+alt+~
  • explore more commands: F1 and begin typing Coq:
  • vscode documentation

Settings

(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
Clone this wiki locally