Publisher
leanprover
leanproverMarketplacepublisherVerifiedOpen VSXnamespaceVerified
Every public listing published under this name on the VS Code Marketplace and Open VSX. The same name on the two registries is shown together; each registry's numbers stay in their own column.
What a VS Code verified publisher badge means, compared with Open VSX →
- Marketplace installs
- 184,4591 listed
- Open VSX downloads
- 140,8321 listed · counts every update
- Extensions
- 1distinct publisher.name keys
Extensions
By Marketplace installs, then Open VSX downloads · Data as of 25 Sept 2026, 04:02 UTC
| Extension | MP Installs · 7d | OVSX Downloads · 7d | Rating | Category rank | Latest |
|---|---|---|---|---|---|
| 184,459+1.8% | 140,832+4.9% | MP4.6OVSX5.0 | MP#549of 22,338Programming Languages | v0.0.24018 Sept 2026 |
Open VSX downloads count every update, so they are never added to or compared with Marketplace installs. Growth is the 7-day change as a percentage of the count a week earlier.