Lean 4 vs Qt UI (Deprecated)

Adoption and growth comparison · shareable link

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

Lean 4 vs Qt UI (Deprecated): installs compared over last 90 days.

Comparison of Lean 4, Qt UI (Deprecated)
Plugin	Metric	Current	7d	30d	Daily rate (30d)	Rank	Rating	Ratings / day	Updated
Lean 4VS Code Marketplace	Installs	199,338	+1.4%	—	—	#1521	4.6	—	Fresh · Oct 29, 2026
Qt UI (Deprecated)VS Code Marketplace	Installs	203,825	+0.7%	—	—	#1493	1.0	—	Fresh · Oct 29, 2026