This extension is currently developped by @maximedenes and contributors, as
part of Coq Community. The
original author of this extension is @siegebell.
Features
Asynchronous proofs
Syntax highlighting
Commands: step forward, interpret to point, interrupt computation, queries, set display options, etc.
Diff view for proof-view: highlight which terms change between states
Smarter editing: does not roll back the state when editing whitespace or comments
install this extension: press F1 to open the command palette, start typing "Extensions: Install Extension", press enter, and search for vscoq
select "enable" on the extension
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.