vsrocq

rocq-prover

Visual Studio Code extension for Rocq

vscode editor

View on GitHub

464 Stars

116 Forks

12 Watchers

Rocq Prover Language

mit License

100 SrcLog Score

Cost to Build

$7.25M

Market Value

$33.90M

How is this calculated?

Growth over time

17 data points · 2021-08-01 → 2026-11-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.

rocq-prover/vsrocq on SrcLog (holo style)

rocq-prover/vsrocq on SrcLog (arcade style)

rocq-prover/vsrocq on SrcLog (terminal style)

rocq-prover/vsrocq on SrcLog (medal style)

Add it to a GitHub README or profile — the card updates as the ranking changes:

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