How to download and setup vsrocq
Open terminal and run command
git clone https://github.com/rocq-prover/vsrocq.git
git clone is used to create a copy or clone of vsrocq 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 vsrocq https://github.com/rocq-prover/vsrocq/archive/master.zip
Or simply clone vsrocq with SSH
[email protected]:rocq-prover/vsrocq.git
If you have some problems with vsrocq
You may open issue on vsrocq support forum (system) here: https://github.com/rocq-prover/vsrocq/issuesSimilar to vsrocq repositories
Here you may see vsrocq 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