vscoq

vscode editor

A Visual Studio Code extension for Coq [maintainers=@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]

How to download and setup vscoq

Open terminal and run command

git clone https://github.com/coq-community/vscoq.git

git clone is used to create a copy or clone of vscoq repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with vscoq https://github.com/coq-community/vscoq/archive/master.zip

Or simply clone vscoq with SSH

[email protected]:coq-community/vscoq.git

If you have some problems with vscoq

You may open issue on vscoq support forum (system) here: https://github.com/coq-community/vscoq/issues

Similar to vscoq repositories

Here you may see vscoq alternatives and analogs

atom tui.editor slate marktext iD mathquill vscode notepad-plus-plus dotfiles lime pell micro oni vue-quill-editor notepadqq Left ZMJImageEditor tiled awesome-vscode polacode vetur pythonVSCode vscode-restclient vscode-code-runner vscode-portable VSCodeNotebook visual-studio-code OpenInCode vscode-project-manager vscode-markdown-pdf