Skip to content
PluginStats

Lean 4 installs history on VS Code Marketplace

Every stored observation, newest first. Archived values come from Internet Archive snapshots and link to the capture they were read from. Missing dates mean no observation exists for that day; no values are interpolated.

Lean 4 all-time installs chart on VS Code Marketplace
All-time history

Installs

Lean 4 installs observations
Date (UTC)InstallsChange vs. previous
196,162+555
195,607+491
195,116+255
194,861+260
194,601+241
194,360—

Rank

Lean 4 rank observations
Date (UTC)RankSource
#1539Live collection
#1545Live collection
#1549Live collection
#1552Live collection
#1552Live collection
#1555Live collection

← Back to Lean 4 overview