vsrocq

rocq-prover

Visual Studio Code extension for Coq

vscode editor

View on GitHub

446 Stars

101 Forks

446 Watchers

OCaml Language

mit License

100 SrcLog Score

Cost to Build

$6.85M

Market Value

$33.70M

How is this calculated?

Growth over time

12 data points · 2021-08-01 → 2026-04-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 Coq". Written in OCaml. 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 master.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