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
14,128
Since yesterday
+18
Current version
v2.2.6
Days tracked
125
Download history
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-10-30 02:00:00 | 14,128 | v2.2.6 |
| 2026-10-29 02:00:00 | 14,110 | v2.2.6 |
| 2026-10-28 02:00:00 | 14,098 | v2.2.6 |
| 2026-10-27 02:00:00 | 14,028 | v2.2.6 |
| 2026-10-26 02:00:00 | 14,011 | v2.2.6 |
| 2026-10-25 02:00:00 | 13,996 | v2.2.6 |
| 2026-10-24 02:00:00 | 13,976 | v2.2.6 |
| 2026-10-23 02:00:00 | 13,946 | v2.2.6 |
| 2026-10-22 02:00:00 | 13,928 | v2.2.6 |
| 2026-10-21 02:00:00 | 13,918 | v2.2.6 |
| 2026-10-20 02:00:00 | 13,900 | v2.2.6 |
| 2026-10-19 02:00:00 | 13,874 | v2.2.6 |
| 2026-10-18 02:00:00 | 13,856 | v2.2.6 |
| 2026-10-17 02:00:00 | 13,846 | v2.2.6 |
| 2026-10-16 02:00:00 | 13,842 | v2.2.6 |
| 2026-10-15 02:00:00 | 13,836 | v2.2.6 |
| 2026-10-14 02:00:00 | 13,830 | v2.2.6 |
| 2026-10-13 02:00:00 | 13,822 | v2.2.6 |
| 2026-10-12 02:00:00 | 13,820 | v2.2.6 |
| 2026-10-11 02:00:00 | 13,800 | v2.2.6 |
| 2026-10-10 02:00:00 | 13,774 | v2.2.6 |
| 2026-10-09 02:00:00 | 13,770 | v2.2.6 |
| 2026-10-08 02:00:00 | 13,762 | v2.2.6 |
| 2026-10-07 02:00:00 | 13,758 | v2.2.6 |
| 2026-10-06 02:00:00 | 13,754 | v2.2.6 |
| 2026-10-05 02:00:00 | 13,746 | v2.2.6 |
| 2026-10-04 02:00:00 | 13,740 | v2.2.6 |
| 2026-10-03 02:00:00 | 13,728 | v2.2.6 |
| 2026-10-02 02:00:00 | 13,720 | v2.2.6 |
| 2026-10-01 02:00:00 | 13,702 | v2.2.6 |
| 2026-09-30 02:00:00 | 13,682 | v2.2.6 |
| 2026-09-29 02:00:00 | 13,676 | v2.2.6 |
| 2026-09-28 02:00:00 | 13,672 | v2.2.6 |
| 2026-09-27 02:00:00 | 13,664 | v2.2.6 |
| 2026-09-26 02:00:00 | 13,650 | v2.2.6 |
| 2026-09-25 02:00:00 | 13,642 | v2.2.6 |
| 2026-09-24 02:00:00 | 13,632 | v2.2.6 |
| 2026-09-23 02:00:00 | 13,582 | v2.2.6 |
| 2026-09-22 02:00:00 | 13,578 | v2.2.6 |
| 2026-09-21 02:00:00 | 13,560 | v2.2.6 |
| 2026-09-20 02:00:00 | 13,546 | v2.2.6 |
| 2026-09-19 02:00:00 | 13,540 | v2.2.6 |
| 2026-09-18 02:00:00 | 13,530 | v2.2.6 |
| 2026-09-17 02:00:00 | 13,506 | v2.2.6 |
| 2026-09-16 02:00:00 | 13,492 | v2.2.6 |
| 2026-09-15 11:36:37 | 13,444 | v2.2.6 |
| 2026-09-14 02:00:00 | 13,428 | v2.2.6 |
| 2026-09-13 02:00:00 | 13,418 | v2.2.6 |
| 2026-09-12 06:52:15 | 13,390 | v2.2.6 |
| 2026-09-11 02:00:00 | 13,368 | v2.2.6 |
| 2026-09-10 02:00:00 | 13,350 | v2.2.6 |
| 2026-09-09 02:00:00 | 13,338 | v2.2.6 |
| 2026-09-08 02:00:00 | 13,322 | v2.2.6 |
| 2026-09-07 02:00:00 | 13,311 | v2.2.6 |
| 2026-09-06 02:00:00 | 13,303 | v2.2.6 |
| 2026-09-05 02:00:00 | 13,299 | v2.2.6 |
| 2026-09-04 02:00:00 | 13,293 | v2.2.6 |
| 2026-09-03 02:00:00 | 13,281 | v2.2.6 |
| 2026-09-02 02:00:00 | 13,269 | v2.2.6 |
| 2026-09-01 02:00:00 | 13,261 | v2.2.6 |
| 2026-08-31 02:00:00 | 13,247 | v2.2.6 |
| 2026-08-30 02:00:00 | 13,241 | v2.2.6 |
| 2026-08-29 02:00:00 | 13,237 | v2.2.6 |
| 2026-08-28 02:00:00 | 13,231 | v2.2.6 |
| 2026-08-27 02:00:00 | 13,213 | v2.2.6 |
| 2026-08-26 02:00:00 | 13,181 | v2.2.6 |
| 2026-08-25 02:00:00 | 13,173 | v2.2.6 |
| 2026-08-24 02:00:00 | 13,169 | v2.2.6 |
| 2026-08-23 02:00:00 | 13,161 | v2.2.6 |
| 2026-08-22 02:00:00 | 13,157 | v2.2.6 |
| 2026-08-21 02:00:00 | 13,155 | v2.2.6 |
| 2026-08-20 02:00:00 | 13,151 | v2.2.6 |
| 2026-08-19 02:00:00 | 13,149 | v2.2.6 |
| 2026-08-18 02:00:00 | 13,147 | v2.2.6 |
| 2026-08-17 02:00:00 | 13,145 | v2.2.6 |
| 2026-08-16 02:00:00 | 13,143 | v2.2.6 |
| 2026-08-15 02:00:00 | 13,141 | v2.2.6 |
| 2026-08-14 02:00:00 | 13,137 | v2.2.6 |
| 2026-08-13 02:00:00 | 13,135 | v2.2.6 |
| 2026-08-12 02:00:00 | 13,133 | v2.2.6 |
| 2026-08-11 02:00:00 | 13,131 | v2.2.6 |
| 2026-08-10 02:00:00 | 13,127 | v2.2.6 |
| 2026-08-09 02:00:00 | 13,125 | v2.2.6 |
| 2026-08-08 02:00:00 | 13,121 | v2.2.6 |
| 2026-08-07 02:00:00 | 13,119 | v2.2.6 |
| 2026-08-06 02:00:00 | 13,109 | v2.2.6 |
| 2026-08-05 02:00:00 | 13,101 | v2.2.6 |
| 2026-08-04 02:00:00 | 13,095 | v2.2.6 |
| 2026-08-03 02:00:00 | 13,083 | v2.2.6 |
| 2026-08-02 02:00:00 | 13,075 | v2.2.6 |
| 2026-08-01 02:00:00 | 13,065 | v2.2.6 |
| 2026-07-31 02:00:00 | 13,055 | v2.2.6 |
| 2026-07-30 02:00:00 | 13,049 | v2.2.6 |
| 2026-07-29 06:50:17 | 13,043 | v2.2.6 |
| 2026-07-28 02:00:00 | 13,033 | v2.2.6 |
| 2026-07-27 02:00:00 | 13,023 | v2.2.6 |
| 2026-07-26 02:00:00 | 13,019 | v2.2.6 |
| 2026-07-25 02:00:00 | 13,009 | v2.2.6 |
| 2026-07-24 02:00:00 | 12,997 | v2.2.6 |
| 2026-07-23 02:00:00 | 12,985 | v2.2.6 |
| 2026-07-22 02:00:00 | 12,977 | v2.2.6 |
| 2026-07-21 02:00:00 | 12,969 | v2.2.6 |
| 2026-07-20 02:00:00 | 12,957 | v2.2.6 |
| 2026-07-19 02:00:00 | 12,935 | v2.2.6 |
| 2026-07-18 02:00:00 | 12,915 | v2.2.6 |
| 2026-07-17 02:00:00 | 12,895 | v2.2.6 |
| 2026-07-16 02:00:00 | 12,893 | v2.2.6 |
| 2026-07-15 02:00:00 | 12,891 | v2.2.6 |
| 2026-07-14 02:00:00 | 12,887 | v2.2.6 |
| 2026-07-13 02:00:00 | 12,875 | v2.2.6 |
| 2026-07-12 02:00:00 | 12,867 | v2.2.6 |
| 2026-07-11 02:00:00 | 12,865 | v2.2.6 |
| 2026-07-10 02:00:00 | 12,597 | v2.2.6 |
| 2026-07-09 05:29:22 | 12,591 | v2.2.6 |
| 2026-07-08 02:00:00 | 12,587 | v2.2.6 |
| 2026-07-07 02:00:00 | 12,585 | v2.2.6 |
| 2026-07-06 02:00:00 | 12,583 | v2.2.6 |
| 2026-07-05 02:00:00 | 12,581 | v2.2.6 |
| 2026-07-04 02:00:00 | 12,579 | v2.2.6 |
| 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 |