Lean 4
Verified publisherWhat a VS Code verified publisher badge means, compared with Open VSX →
Lean 4 language support for VS Code
Tracked since 5 Sept 2026
Daily readings on both stores, taken by us. As of 24 Sept 2026.
Each bar is one day’s change in the store’s own counter. Open VSX counts a download on every update, so a day includes updates by people who already had it. Days before 5 Sept are reconstructed from public archives rather than read by us.
Where Lean 4 ranks in search
Positions observed daily on both stores. Neither store publishes this, and the two run separate search engines over separate catalogues.
| Search | Marketplace | Open VSX |
|---|---|---|
| markdown | — | #638of 1,087↓7 7d |
| language | — | #424of 2,179↑21 7d |
3 more searches, day-by-day history, and the extensions ranked above it. See plans | ||
VS Code Marketplace search ranking: measuring jitter and real movement →
- Installs
- 183,704+1.7% 7d
- Rating
- 4.6from 5 ratings
- Rank in Programming Languages
- #551of 22,193
- Latest
- v0.0.24018 Sept 2026
455 releases · first published Jan 2021
Why the Open VSX download count looks inflated →
- Downloads
- 140,404+4.5% 7d
- Rating
- 5.0from 1 reviews
- Rank in Programming Languages
- #232of 4,440
- Latest
- v0.0.24018 Sept 2026
Downloads count every update, not unique installs.
What the publisher says
Lean 4’s own readme, changelog and license, as published to the VS Code Marketplace.