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
3,533
Since yesterday
+6
Current version
v2.4.3
Days tracked
66
Download history
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-08-31 02:00:00 | 3,533 | v2.4.3 |
| 2026-08-30 02:00:00 | 3,527 | v2.4.3 |
| 2026-08-29 02:00:00 | 3,521 | v2.4.3 |
| 2026-08-28 02:00:00 | 3,513 | v2.4.3 |
| 2026-08-27 02:00:00 | 3,505 | v2.4.3 |
| 2026-08-26 02:00:00 | 3,483 | v2.4.3 |
| 2026-08-25 02:00:00 | 3,469 | v2.4.3 |
| 2026-08-24 02:00:00 | 3,445 | v2.4.3 |
| 2026-08-23 02:00:00 | 3,433 | v2.4.3 |
| 2026-08-22 02:00:00 | 3,425 | v2.4.3 |
| 2026-08-21 02:00:00 | 3,413 | v2.4.3 |
| 2026-08-20 02:00:00 | 3,411 | v2.4.3 |
| 2026-08-19 02:00:00 | 3,407 | v2.4.3 |
| 2026-08-18 02:00:00 | 3,403 | v2.4.3 |
| 2026-08-17 02:00:00 | 3,399 | v2.4.3 |
| 2026-08-16 02:00:00 | 3,393 | v2.4.3 |
| 2026-08-15 02:00:00 | 3,381 | v2.4.3 |
| 2026-08-14 02:00:00 | 3,375 | v2.4.3 |
| 2026-08-13 02:00:00 | 3,371 | v2.4.3 |
| 2026-08-12 02:00:00 | 3,365 | v2.4.3 |
| 2026-08-11 02:00:00 | 3,357 | v2.4.3 |
| 2026-08-10 02:00:00 | 3,343 | v2.4.3 |
| 2026-08-09 02:00:00 | 3,335 | v2.4.3 |
| 2026-08-08 02:00:00 | 3,327 | v2.4.3 |
| 2026-08-07 02:00:00 | 3,315 | v2.4.3 |
| 2026-08-06 02:00:00 | 3,305 | v2.4.3 |
| 2026-08-05 02:00:00 | 3,291 | v2.4.3 |
| 2026-08-04 02:00:00 | 3,277 | v2.4.3 |
| 2026-08-03 02:00:00 | 3,263 | v2.4.3 |
| 2026-08-02 02:00:00 | 3,250 | v2.4.3 |
| 2026-08-01 02:00:00 | 3,241 | v2.4.3 |
| 2026-07-31 02:00:00 | 3,229 | v2.4.3 |
| 2026-07-30 02:00:00 | 3,223 | v2.4.3 |
| 2026-07-29 06:50:17 | 3,211 | v2.4.3 |
| 2026-07-28 02:00:00 | 3,197 | v2.4.3 |
| 2026-07-27 02:00:00 | 3,187 | v2.4.3 |
| 2026-07-26 02:00:00 | 3,179 | v2.4.3 |
| 2026-07-25 02:00:00 | 3,161 | v2.4.3 |
| 2026-07-24 02:00:00 | 3,145 | v2.4.3 |
| 2026-07-23 02:00:00 | 3,135 | v2.4.3 |
| 2026-07-22 02:00:00 | 3,117 | v2.4.3 |
| 2026-07-21 02:00:00 | 3,095 | v2.4.3 |
| 2026-07-20 02:00:00 | 3,081 | v2.4.3 |
| 2026-07-19 02:00:00 | 3,073 | v2.4.3 |
| 2026-07-18 02:00:00 | 3,061 | v2.4.3 |
| 2026-07-17 02:00:00 | 3,055 | v2.4.3 |
| 2026-07-16 02:00:00 | 3,053 | v2.4.3 |
| 2026-07-15 02:00:00 | 3,041 | v2.4.3 |
| 2026-07-14 02:00:00 | 3,033 | v2.4.3 |
| 2026-07-13 02:00:00 | 3,031 | v2.4.3 |
| 2026-07-12 02:00:00 | 3,017 | v2.4.3 |
| 2026-07-11 02:00:00 | 3,009 | v2.4.3 |
| 2026-07-10 02:00:00 | 2,999 | v2.4.3 |
| 2026-07-09 05:29:22 | 2,993 | v2.4.3 |
| 2026-07-08 02:00:00 | 2,983 | v2.4.3 |
| 2026-07-07 02:00:00 | 2,973 | v2.4.3 |
| 2026-07-06 02:00:00 | 2,967 | v2.4.3 |
| 2026-07-05 02:00:00 | 2,965 | v2.4.3 |
| 2026-07-04 02:00:00 | 2,957 | v2.4.3 |
| 2026-07-04 02:00:00 | 2,957 | v2.4.3 |
| 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 |