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.

Installs

Lean 4 installs observations
Date (UTC)	Installs	Change vs. previous	Source	Precision
Oct 19, 2026	195,116	+255	Official API	Exact
Oct 18, 2026	194,861	+260	Official API	Exact
Oct 17, 2026	194,601	+241	Official API	Exact
Oct 16, 2026	194,360	—	Official API	Exact

Rank

Lean 4 rank observations
Date (UTC)	Rank	Source
Oct 19, 2026	#1549	Live collection
Oct 18, 2026	#1552	Live collection
Oct 17, 2026	#1552	Live collection
Oct 16, 2026	#1555	Live collection

← Back to Lean 4 overview