Description
VsCoq is an extension for Visual Studio Code (VS Code) and VSCodium with support for the Coq Proof Assistant.
package
vscode-extension-maximedenes-vscoq
Metadata
Version
0.3.8VsCoq is an extension for Visual Studio Code (VS Code) and VSCodium with support for the Coq Proof Assistant.
0.3.8