vsrocq

rocq-prover

Visual Studio Code extension for Rocq

vscode editor

View on GitHub

462 Stars

112 Forks

13 Watchers

Rocq Prover Language

mit License

100 SrcLog Score

Cost to Build

$7.19M

Market Value

$31.00M

How is this calculated?

Growth over time

16 data points · 2021-08-01 → 2026-10-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about vsrocq

Question copied to clipboard

What is the rocq-prover/vsrocq GitHub project? Description: "Visual Studio Code extension for Rocq". Written in Rocq Prover. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone vsrocq

Clone via HTTPS

git clone https://github.com/rocq-prover/vsrocq.git

Clone via SSH

[email protected]:rocq-prover/vsrocq.git

Download ZIP

Download main.zip

Found an issue?

Report bugs or request features on the vsrocq issue tracker:

Open GitHub Issues

Similar to vsrocq

vscode atom quill lime medium-editor stackedit monaco-editor pell LightTable micro oni slate SpaceVim tui.editor react-page marktext dillinger notepad-plus-plus editor.md tiled tinymce wangEditor pen ScreenToGif jspaint hue vue-quill-editor CotEditor vnote webglstudio.js