Back to leaderboard
__ext_lean__ext_mv__ext_v__web_extensioncolor-themecoqdependent typesGallinaicon-themeinteractive theorem provinglean4markdownRocqsoftware verificationthemeProgramming LanguagesEducation
Open VSX
Total downloads
6,753
Since yesterday
+2
Current version
v0.12.2
Days tracked
125
Download history
Version history
v0.12.2 from v0.12.1
Detected 2026-09-08 02:00 UTC
v0.12.1 from v0.12.0
Detected 2026-09-02 02:00 UTC
v0.12.0 from v0.11.0
Detected 2026-08-25 02:00 UTC
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-10-30 02:00:00 | 6,753 | v0.12.2 |
| 2026-10-29 02:00:00 | 6,751 | v0.12.2 |
| 2026-10-28 02:00:00 | 6,709 | v0.12.2 |
| 2026-10-27 02:00:00 | 6,705 | v0.12.2 |
| 2026-10-26 02:00:00 | 6,701 | v0.12.2 |
| 2026-10-25 02:00:00 | 6,699 | v0.12.2 |
| 2026-10-24 02:00:00 | 6,691 | v0.12.2 |
| 2026-10-23 02:00:00 | 6,687 | v0.12.2 |
| 2026-10-22 02:00:00 | 6,683 | v0.12.2 |
| 2026-10-21 02:00:00 | 6,673 | v0.12.2 |
| 2026-10-20 02:00:00 | 6,669 | v0.12.2 |
| 2026-10-19 02:00:00 | 6,663 | v0.12.2 |
| 2026-10-18 02:00:00 | 6,655 | v0.12.2 |
| 2026-10-17 02:00:00 | 6,651 | v0.12.2 |
| 2026-10-16 02:00:00 | 6,639 | v0.12.2 |
| 2026-10-15 02:00:00 | 6,555 | v0.12.2 |
| 2026-10-14 02:00:00 | 6,471 | v0.12.2 |
| 2026-10-13 02:00:00 | 6,463 | v0.12.2 |
| 2026-10-12 02:00:00 | 6,381 | v0.12.2 |
| 2026-10-11 02:00:00 | 6,379 | v0.12.2 |
| 2026-10-10 02:00:00 | 6,373 | v0.12.2 |
| 2026-10-09 02:00:00 | 6,371 | v0.12.2 |
| 2026-10-08 02:00:00 | 6,367 | v0.12.2 |
| 2026-10-07 02:00:00 | 6,365 | v0.12.2 |
| 2026-10-06 02:00:00 | 6,359 | v0.12.2 |
| 2026-10-05 02:00:00 | 6,353 | v0.12.2 |
| 2026-10-04 02:00:00 | 6,351 | v0.12.2 |
| 2026-10-03 02:00:00 | 6,341 | v0.12.2 |
| 2026-10-02 02:00:00 | 6,337 | v0.12.2 |
| 2026-10-01 02:00:00 | 6,323 | v0.12.2 |
| 2026-09-30 02:00:00 | 6,315 | v0.12.2 |
| 2026-09-29 02:00:00 | 6,309 | v0.12.2 |
| 2026-09-28 02:00:00 | 6,301 | v0.12.2 |
| 2026-09-27 02:00:00 | 6,299 | v0.12.2 |
| 2026-09-26 02:00:00 | 6,293 | v0.12.2 |
| 2026-09-25 02:00:00 | 6,285 | v0.12.2 |
| 2026-09-24 02:00:00 | 6,243 | v0.12.2 |
| 2026-09-23 02:00:00 | 6,237 | v0.12.2 |
| 2026-09-22 02:00:00 | 6,233 | v0.12.2 |
| 2026-09-21 02:00:00 | 6,227 | v0.12.2 |
| 2026-09-20 02:00:00 | 6,225 | v0.12.2 |
| 2026-09-19 02:00:00 | 6,211 | v0.12.2 |
| 2026-09-18 02:00:00 | 6,205 | v0.12.2 |
| 2026-09-17 02:00:00 | 6,145 | v0.12.2 |
| 2026-09-16 02:00:00 | 6,135 | v0.12.2 |
| 2026-09-15 11:36:37 | 6,135 | v0.12.2 |
| 2026-09-14 02:00:00 | 6,089 | v0.12.2 |
| 2026-09-13 02:00:00 | 6,085 | v0.12.2 |
| 2026-09-12 06:52:15 | 6,079 | v0.12.2 |
| 2026-09-11 02:00:00 | 6,065 | v0.12.2 |
| 2026-09-10 02:00:00 | 6,053 | v0.12.2 |
| 2026-09-09 02:00:00 | 5,995 | v0.12.2 |
| 2026-09-08 02:00:00 | 5,888 | v0.12.2 |
| 2026-09-07 02:00:00 | 5,665 | v0.12.1 |
| 2026-09-06 02:00:00 | 5,651 | v0.12.1 |
| 2026-09-05 02:00:00 | 5,641 | v0.12.1 |
| 2026-09-04 02:00:00 | 5,635 | v0.12.1 |
| 2026-09-03 02:00:00 | 5,603 | v0.12.1 |
| 2026-09-02 02:00:00 | 5,462 | v0.12.1 |
| 2026-09-01 02:00:00 | 5,211 | v0.12.0 |
| 2026-08-31 02:00:00 | 5,179 | v0.12.0 |
| 2026-08-30 02:00:00 | 5,163 | v0.12.0 |
| 2026-08-29 02:00:00 | 5,157 | v0.12.0 |
| 2026-08-28 02:00:00 | 5,145 | v0.12.0 |
| 2026-08-27 02:00:00 | 5,135 | v0.12.0 |
| 2026-08-26 02:00:00 | 5,109 | v0.12.0 |
| 2026-08-25 02:00:00 | 5,067 | v0.12.0 |
| 2026-08-24 02:00:00 | 4,867 | v0.11.0 |
| 2026-08-23 02:00:00 | 4,861 | v0.11.0 |
| 2026-08-22 02:00:00 | 4,853 | v0.11.0 |
| 2026-08-21 02:00:00 | 4,847 | v0.11.0 |
| 2026-08-20 02:00:00 | 4,843 | v0.11.0 |
| 2026-08-19 02:00:00 | 4,841 | v0.11.0 |
| 2026-08-18 02:00:00 | 4,837 | v0.11.0 |
| 2026-08-17 02:00:00 | 4,825 | v0.11.0 |
| 2026-08-16 02:00:00 | 4,821 | v0.11.0 |
| 2026-08-15 02:00:00 | 4,817 | v0.11.0 |
| 2026-08-14 02:00:00 | 4,811 | v0.11.0 |
| 2026-08-13 02:00:00 | 4,809 | v0.11.0 |
| 2026-08-12 02:00:00 | 4,805 | v0.11.0 |
| 2026-08-11 02:00:00 | 4,803 | v0.11.0 |
| 2026-08-10 02:00:00 | 4,799 | v0.11.0 |
| 2026-08-09 02:00:00 | 4,793 | v0.11.0 |
| 2026-08-08 02:00:00 | 4,783 | v0.11.0 |
| 2026-08-07 02:00:00 | 4,779 | v0.11.0 |
| 2026-08-06 02:00:00 | 4,771 | v0.11.0 |
| 2026-08-05 02:00:00 | 4,767 | v0.11.0 |
| 2026-08-04 02:00:00 | 4,765 | v0.11.0 |
| 2026-08-03 02:00:00 | 4,759 | v0.11.0 |
| 2026-08-02 02:00:00 | 4,753 | v0.11.0 |
| 2026-08-01 02:00:00 | 4,745 | v0.11.0 |
| 2026-07-31 02:00:00 | 4,741 | v0.11.0 |
| 2026-07-30 02:00:00 | 4,735 | v0.11.0 |
| 2026-07-29 06:50:17 | 4,729 | v0.11.0 |
| 2026-07-28 02:00:00 | 4,723 | v0.11.0 |
| 2026-07-27 02:00:00 | 4,711 | v0.11.0 |
| 2026-07-26 02:00:00 | 4,705 | v0.11.0 |
| 2026-07-25 02:00:00 | 4,691 | v0.11.0 |
| 2026-07-24 02:00:00 | 4,683 | v0.11.0 |
| 2026-07-23 02:00:00 | 4,677 | v0.11.0 |
| 2026-07-22 02:00:00 | 4,669 | v0.11.0 |
| 2026-07-21 02:00:00 | 4,657 | v0.11.0 |
| 2026-07-20 02:00:00 | 4,641 | v0.11.0 |
| 2026-07-19 02:00:00 | 4,623 | v0.11.0 |
| 2026-07-18 02:00:00 | 4,621 | v0.11.0 |
| 2026-07-17 02:00:00 | 4,621 | v0.11.0 |
| 2026-07-16 02:00:00 | 4,621 | v0.11.0 |
| 2026-07-15 02:00:00 | 4,583 | v0.11.0 |
| 2026-07-14 02:00:00 | 4,447 | v0.11.0 |
| 2026-07-13 02:00:00 | 4,445 | v0.11.0 |
| 2026-07-12 02:00:00 | 4,435 | v0.11.0 |
| 2026-07-11 02:00:00 | 4,433 | v0.11.0 |
| 2026-07-10 02:00:00 | 4,429 | v0.11.0 |
| 2026-07-09 05:29:22 | 4,427 | v0.11.0 |
| 2026-07-08 02:00:00 | 4,397 | v0.11.0 |
| 2026-07-07 02:00:00 | 4,387 | v0.11.0 |
| 2026-07-06 02:00:00 | 4,383 | v0.11.0 |
| 2026-07-05 02:00:00 | 4,381 | v0.11.0 |
| 2026-07-04 02:00:00 | 4,379 | v0.11.0 |
| 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 |