coqoutline
A VSCode extension that implements outline view and go to definition for Coq files.
MIT License
Stars
10
Committers
2
Ecosystems:
VS Code Extension,
Coq
Bot releases are hidden (Show)
v0.2.2-beta
- provide outline views for Coq files.
- provide
Go to Definitionfunction to track Coq definitions.
Instruction
To install this version of CoqOutline,
- download the file
coqoutline-0.2.2.vsixbelow - press "Cmd-Shift-P" and "Extensions: Install from VSIX" in your VSCode to install this file, or run
code --install-extension coqoutline-0.2.2.vsix(or whatever version number) from your terminal.