PluginStatsLean 4 installs statistics
By leanprover · VS Code Marketplace · Programming Languages
Lean 4 language support for VS Code
Lean 4 has 194,861 recorded installs on VS Code Marketplace.
It ranks #1552 of 2,500 tracked VS Code Marketplace listings by installs.
It is rated 4.6 out of 5 from 5 ratings.
PluginStats has 3 daily observations since Oct 16, 2026; the latest is from Oct 18, 2026.
Rating: 4.60 / 5 from 5 ratings
About Lean 4
Lean 4 VS Code Extension
This extension provides VS Code support for the Lean 4 theorem prover and programming language.
Installing Lean 4
After installing this extension, a 'Welcome' page with a setup guide should open automatically. The setup guide provides platform-specific information on the following topics: • Books and documentation resources • Installing Lean 4 • Setting up a Lean 4 project • Troubleshooting issues
If the setup guide does not open automatically, you can still open it manually by opening an empty file, clicking on the ∀-symbol in the top right and selecting 'Documentation…' > 'Show Setup Guide'.
Using this extension
The Lean 4 VS Code extension manual provides a complete and detailed overview over all features provided by this VS Code extension. If you are new to Lean, you may find the first five subsections of the 'Interacting with Lean files' section in the manual to be very helpful.
Description from the VS Code Marketplace listing.
- InfoView
- keybindings
- lean
- Lean 4
- lean4
- lean4markdown
- markdown
- Theorem Provers
Where Lean 4 sits in the listing
Each band is one page of 20. Installs on a log scale. Placement is projected from installs, so it can differ from the marketplace's own sort order. Hover a dot to see the listing.
Charts
Images: 30d · 1y · all time · 1600×900 dark
Adoption over time
7/30/90-day growth
Filled points are observed values; hollow points come from Internet Archive snapshots of the listing page. Dashed segments span periods with no observations — values between points are not interpolated.
Recent observations
Full history (3)Similar VS Code Marketplace Programming Languages plugins
Data source
Install counts, average rating, and rating counts come from the public Visual Studio Marketplace gallery API. Installs are cumulative and exclude updates.
Listing: https://marketplace.visualstudio.com/items?itemName=leanprover.lean4. First seen Oct 16, 2026; last successful collection Oct 18, 2026. See the methodology.