Skip to content
PluginStats

Lean 4 vs Black Formatter

Adoption and growth comparison · shareable link

Over the last 7 days, Lean 4 grew fastest (+1.3%).

Lean 4 vs Black Formatter: installs compared over last 90 days.Lean 4 vs Black FormatterInstalls · Last 90 days02M4M6M8MJul 25Aug 9Aug 24Sep 8Sep 23Oct 8Oct 23installsLean 4Black FormatterOct 16, 2026 – Oct 23, 2026 · Updated Oct 23, 2026pluginstats.com
Lean 4 vs Black Formatter: installs compared over last 90 days.
Comparison of Lean 4, Black Formatter
PluginMetricCurrent7d30dDaily rate (30d)RankRatingRatings / dayUpdated
Lean 4VS Code MarketplaceInstalls196,860+1.3%——#15364.6—Fresh · Oct 23, 2026
Black FormatterVS Code MarketplaceInstalls7,689,609+0.3%——#1203.4—Fresh · Oct 23, 2026