Open-source editor extensions

Lean 4

by lean-lang.org

1.09× in 30 days, from 132k to 144k installs, faster than 37% of open editor extensions.

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

Similar open editor extensions its size