Back to leaderboard
__ext_lean__ext_mv__ext_v__web_extensioncolor-themecoqdependent typesGallinaicon-themeinteractive theorem provinglean4markdownRocqsoftware verificationthemeProgramming LanguagesEducation
Open VSX
Total downloads
4,375
Since yesterday
+14
Current version
v0.11.0
Days tracked
6
Download history
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-07-03 08:30:39 | 4,375 | v0.11.0 |
| 2026-07-02 02:00:00 | 4,361 | v0.11.0 |
| 2026-07-01 02:00:00 | 4,349 | v0.11.0 |
| 2026-06-30 02:00:00 | 4,339 | v0.11.0 |
| 2026-06-29 14:14:45 | 4,339 | v0.11.0 |
| 2026-06-28 07:06:24 | 4,333 | v0.11.0 |