Skip to content
PluginStats

GDB Debugger - Beyond vs Lean 4

Adoption and growth comparison · shareable link

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

GDB Debugger - Beyond vs Lean 4: installs compared over last 90 days.GDB Debugger - Beyond vs Lean 4Installs · Last 90 days194K196K198K200K202K204KJul 25Aug 9Aug 24Sep 8Sep 23Oct 8Oct 23installsGDB Debugger - BeyondLean 4Oct 16, 2026 – Oct 23, 2026 · Updated Oct 23, 2026pluginstats.com
GDB Debugger - Beyond vs Lean 4: installs compared over last 90 days.
Comparison of GDB Debugger - Beyond, Lean 4
PluginMetricCurrent7d30dDaily rate (30d)RankRatingRatings / dayUpdated
GDB Debugger - BeyondVS Code MarketplaceInstalls202,461+0.1%——#14984.1—Fresh · Oct 23, 2026
Lean 4VS Code MarketplaceInstalls196,860+1.3%——#15364.6—Fresh · Oct 23, 2026