Back to leaderboard
__ext_lean__ext_lean4markdownInfoViewkeybindingsLeanLean 4lean4lean4markdownmarkdownTheorem ProversProgramming Languages
Open VSX
Total downloads
123,223
Since yesterday
+119
Current version
v0.0.238
Days tracked
6
Download history
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-07-03 08:30:39 | 123,223 | v0.0.238 |
| 2026-07-02 02:00:00 | 123,104 | v0.0.238 |
| 2026-07-01 02:00:00 | 123,035 | v0.0.238 |
| 2026-06-30 02:00:00 | 122,951 | v0.0.238 |
| 2026-06-29 14:14:45 | 122,919 | v0.0.238 |
| 2026-06-28 07:06:24 | 122,837 | v0.0.238 |