Back to leaderboard 
VsRocq
rocq-prover.vsrocq
VsRocq is an extension for Visual Studio Code with support for the Rocq Prover
__ext__CoqProject__ext_vCoq Projectcoq-projectGallinakeybindingsproof assistantrocqtheorem proverProgramming Languages
Open VSX
Total downloads
2,947
Since yesterday
+34
Current version
v2.4.3
Days tracked
6
Download history
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-07-03 08:30:39 | 2,947 | v2.4.3 |
| 2026-07-02 02:00:00 | 2,913 | v2.4.3 |
| 2026-07-01 02:00:00 | 2,903 | v2.4.3 |
| 2026-06-30 02:00:00 | 2,887 | v2.4.3 |
| 2026-06-29 14:14:45 | 2,885 | v2.4.3 |
| 2026-06-28 07:06:24 | 2,845 | v2.4.3 |