Code editor extensions

Lean 4

by lean-lang.org

1.11× in 30 days, from 173k to 191k installs, faster than 96% of editor extensions.

Measured by Vela Breakout · as of Oct 10, 2026 · How we measure

50k100k150kAug 18Sep 4Sep 21Oct 10Lean 4191k

Similar editor extensions its size