Lean 4 Code Actions
Verified publisherWhat a VS Code verified publisher badge means, compared with Open VSX →
Refactorings and snippets for Lean 4
Tracked since 5 Sept 2026
Daily readings on both stores, taken by us. As of 25 Sept 2026.
Installs and downloads per day, last 7 daysDay-over-day change in each store's counter.
Each bar is one day’s change in the store’s own counter.
Seven days here. Tracking adds every day since 5 Sept 2026, with release markers.Track this extension
Where Lean 4 Code Actions 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 |
|---|---|---|
| refactor | #226of 831↑6 7d | — |
VS Code Marketplace search ranking: measuring jitter and real movement →
Marketplace
- Installs
- 2,847+1.0% 7d
- Rating
- —unrated
- Rank in Formatters
- >1,000of 5,055
- Latest
- v1.1.3225 Jul 2024
34 releases · first published Aug 2023
What the publisher says
Lean 4 Code Actions’s own readme, changelog and license, as published to the VS Code Marketplace.