Back to leaderboard 
VsCoq
maximedenes.vscoq
VsCoq is an extension for Visual Studio Code with support for the Coq Proof Assistant
__ext__CoqProject__ext_vcoqCoq Projectcoq-projectGallinakeybindingsproof assistanttheorem proverProgramming Languages
Open VSX
Total downloads
12,577
Since yesterday
+48
Current version
v2.2.6
Days tracked
6
Download history
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-07-03 08:30:39 | 12,577 | v2.2.6 |
| 2026-07-02 02:00:00 | 12,529 | v2.2.6 |
| 2026-07-01 02:00:00 | 12,525 | v2.2.6 |
| 2026-06-30 02:00:00 | 12,523 | v2.2.6 |
| 2026-06-29 14:14:45 | 12,523 | v2.2.6 |
| 2026-06-28 07:06:24 | 12,517 | v2.2.6 |