Package Control

The official Sublime Text package manager.

Lean

Lean language syntax for Sublime Text

By LexouDuck
Created July 1, 2025, last updated October 15, 2026.

SepAugJulJunMayAprMarFebJan Dec2025 NovOct 2026-W42 | installs: 7 | removals: 0 | upgrades: 7 2026-W42 | installs: 7 | removals: 0 | upgrades: 7 2026-W42 | installs: 7 | removals: 0 | upgrades: 7 2026-W41 | installs: 10 | removals: 2 | upgrades: 0 2026-W41 | installs: 10 | removals: 2 | upgrades: 0 2026-W41 | installs: 10 | removals: 2 | upgrades: 0 2026-W40 | installs: 6 | removals: 4 | upgrades: 0 2026-W40 | installs: 6 | removals: 4 | upgrades: 0 2026-W40 | installs: 6 | removals: 4 | upgrades: 0 2026-W39 | installs: 6 | removals: 1 | upgrades: 0 2026-W39 | installs: 6 | removals: 1 | upgrades: 0 2026-W39 | installs: 6 | removals: 1 | upgrades: 0 2026-W38 | installs: 7 | removals: 0 | upgrades: 0 2026-W38 | installs: 7 | removals: 0 | upgrades: 0 2026-W38 | installs: 7 | removals: 0 | upgrades: 0 2026-W37 | installs: 3 | removals: 0 | upgrades: 0 2026-W37 | installs: 3 | removals: 0 | upgrades: 0 2026-W37 | installs: 3 | removals: 0 | upgrades: 0 2026-W36 | installs: 4 | removals: 0 | upgrades: 0 2026-W36 | installs: 4 | removals: 0 | upgrades: 0 2026-W36 | installs: 4 | removals: 0 | upgrades: 0 2026-W35 | installs: 3 | removals: 0 | upgrades: 0 2026-W35 | installs: 3 | removals: 0 | upgrades: 0 2026-W35 | installs: 3 | removals: 0 | upgrades: 0 2026-W34 | installs: 2 | removals: 0 | upgrades: 0 2026-W34 | installs: 2 | removals: 0 | upgrades: 0 2026-W34 | installs: 2 | removals: 0 | upgrades: 0 2026-W33 | installs: 1 | removals: 0 | upgrades: 0 2026-W33 | installs: 1 | removals: 0 | upgrades: 0 2026-W33 | installs: 1 | removals: 0 | upgrades: 0 2026-W32 | installs: 3 | removals: 0 | upgrades: 0 2026-W32 | installs: 3 | removals: 0 | upgrades: 0 2026-W32 | installs: 3 | removals: 0 | upgrades: 0 2026-W31 | installs: 2 | removals: 2 | upgrades: 0 2026-W31 | installs: 2 | removals: 2 | upgrades: 0 2026-W31 | installs: 2 | removals: 2 | upgrades: 0 2026-W30 | installs: 4 | removals: 0 | upgrades: 0 2026-W30 | installs: 4 | removals: 0 | upgrades: 0 2026-W30 | installs: 4 | removals: 0 | upgrades: 0 2026-W29 | installs: 2 | removals: 0 | upgrades: 0 2026-W29 | installs: 2 | removals: 0 | upgrades: 0 2026-W29 | installs: 2 | removals: 0 | upgrades: 0 2026-W28 | installs: 6 | removals: 1 | upgrades: 0 2026-W28 | installs: 6 | removals: 1 | upgrades: 0 2026-W28 | installs: 6 | removals: 1 | upgrades: 0 2026-W27 | installs: 3 | removals: 0 | upgrades: 0 2026-W27 | installs: 3 | removals: 0 | upgrades: 0 2026-W27 | installs: 3 | removals: 0 | upgrades: 0 2026-W26 | installs: 1 | removals: 0 | upgrades: 0 2026-W26 | installs: 1 | removals: 0 | upgrades: 0 2026-W26 | installs: 1 | removals: 0 | upgrades: 0 2026-W25 | installs: 1 | removals: 0 | upgrades: 0 2026-W25 | installs: 1 | removals: 0 | upgrades: 0 2026-W25 | installs: 1 | removals: 0 | upgrades: 0 2026-W24 | installs: 1 | removals: 0 | upgrades: 0 2026-W24 | installs: 1 | removals: 0 | upgrades: 0 2026-W24 | installs: 1 | removals: 0 | upgrades: 0 2026-W23 | installs: 3 | removals: 0 | upgrades: 0 2026-W23 | installs: 3 | removals: 0 | upgrades: 0 2026-W23 | installs: 3 | removals: 0 | upgrades: 0 2026-W22 | installs: 0 | removals: 0 | upgrades: 0 2026-W22 | installs: 0 | removals: 0 | upgrades: 0 2026-W22 | installs: 0 | removals: 0 | upgrades: 0 2026-W21 | installs: 4 | removals: 2 | upgrades: 0 2026-W21 | installs: 4 | removals: 2 | upgrades: 0 2026-W21 | installs: 4 | removals: 2 | upgrades: 0 2026-W20 | installs: 0 | removals: 0 | upgrades: 0 2026-W20 | installs: 0 | removals: 0 | upgrades: 0 2026-W20 | installs: 0 | removals: 0 | upgrades: 0 2026-W19 | installs: 2 | removals: 0 | upgrades: 0 2026-W19 | installs: 2 | removals: 0 | upgrades: 0 2026-W19 | installs: 2 | removals: 0 | upgrades: 0 2026-W18 | installs: 4 | removals: 0 | upgrades: 0 2026-W18 | installs: 4 | removals: 0 | upgrades: 0 2026-W18 | installs: 4 | removals: 0 | upgrades: 0 2026-W17 | installs: 2 | removals: 0 | upgrades: 0 2026-W17 | installs: 2 | removals: 0 | upgrades: 0 2026-W17 | installs: 2 | removals: 0 | upgrades: 0 2026-W16 | installs: 2 | removals: 0 | upgrades: 0 2026-W16 | installs: 2 | removals: 0 | upgrades: 0 2026-W16 | installs: 2 | removals: 0 | upgrades: 0 2026-W15 | installs: 2 | removals: 0 | upgrades: 0 2026-W15 | installs: 2 | removals: 0 | upgrades: 0 2026-W15 | installs: 2 | removals: 0 | upgrades: 0 2026-W14 | installs: 4 | removals: 0 | upgrades: 0 2026-W14 | installs: 4 | removals: 0 | upgrades: 0 2026-W14 | installs: 4 | removals: 0 | upgrades: 0 2026-W13 | installs: 5 | removals: 0 | upgrades: 0 2026-W13 | installs: 5 | removals: 0 | upgrades: 0 2026-W13 | installs: 5 | removals: 0 | upgrades: 0 2026-W12 | installs: 3 | removals: 1 | upgrades: 0 2026-W12 | installs: 3 | removals: 1 | upgrades: 0 2026-W12 | installs: 3 | removals: 1 | upgrades: 0 2026-W11 | installs: 3 | removals: 0 | upgrades: 0 2026-W11 | installs: 3 | removals: 0 | upgrades: 0 2026-W11 | installs: 3 | removals: 0 | upgrades: 0 2026-W10 | installs: 5 | removals: 2 | upgrades: 0 2026-W10 | installs: 5 | removals: 2 | upgrades: 0 2026-W10 | installs: 5 | removals: 2 | upgrades: 0 2026-W09 | installs: 2 | removals: 0 | upgrades: 0 2026-W09 | installs: 2 | removals: 0 | upgrades: 0 2026-W09 | installs: 2 | removals: 0 | upgrades: 0 2026-W08 | installs: 2 | removals: 1 | upgrades: 0 2026-W08 | installs: 2 | removals: 1 | upgrades: 0 2026-W08 | installs: 2 | removals: 1 | upgrades: 0 2026-W07 | installs: 3 | removals: 2 | upgrades: 0 2026-W07 | installs: 3 | removals: 2 | upgrades: 0 2026-W07 | installs: 3 | removals: 2 | upgrades: 0 2026-W06 | installs: 5 | removals: 0 | upgrades: 0 2026-W06 | installs: 5 | removals: 0 | upgrades: 0 2026-W06 | installs: 5 | removals: 0 | upgrades: 0 2026-W05 | installs: 0 | removals: 0 | upgrades: 0 2026-W05 | installs: 0 | removals: 0 | upgrades: 0 2026-W05 | installs: 0 | removals: 0 | upgrades: 0 2026-W04 | installs: 1 | removals: 0 | upgrades: 0 2026-W04 | installs: 1 | removals: 0 | upgrades: 0 2026-W04 | installs: 1 | removals: 0 | upgrades: 0 2026-W03 | installs: 0 | removals: 0 | upgrades: 0 2026-W03 | installs: 0 | removals: 0 | upgrades: 0 2026-W03 | installs: 0 | removals: 0 | upgrades: 0 2026-W02 | installs: 2 | removals: 0 | upgrades: 0 2026-W02 | installs: 2 | removals: 0 | upgrades: 0 2026-W02 | installs: 2 | removals: 0 | upgrades: 0 2026-W01 | installs: 0 | removals: 0 | upgrades: 0 2026-W01 | installs: 0 | removals: 0 | upgrades: 0 2026-W01 | installs: 0 | removals: 0 | upgrades: 0 2025-W52 | installs: 2 | removals: 0 | upgrades: 0 2025-W52 | installs: 2 | removals: 0 | upgrades: 0 2025-W52 | installs: 2 | removals: 0 | upgrades: 0 2025-W51 | installs: 0 | removals: 0 | upgrades: 0 2025-W51 | installs: 0 | removals: 0 | upgrades: 0 2025-W51 | installs: 0 | removals: 0 | upgrades: 0 2025-W50 | installs: 2 | removals: 0 | upgrades: 0 2025-W50 | installs: 2 | removals: 0 | upgrades: 0 2025-W50 | installs: 2 | removals: 0 | upgrades: 0 2025-W49 | installs: 1 | removals: 0 | upgrades: 0 2025-W49 | installs: 1 | removals: 0 | upgrades: 0 2025-W49 | installs: 1 | removals: 0 | upgrades: 0 2025-W48 | installs: 0 | removals: 0 | upgrades: 0 2025-W48 | installs: 0 | removals: 0 | upgrades: 0 2025-W48 | installs: 0 | removals: 0 | upgrades: 0 2025-W47 | installs: 3 | removals: 0 | upgrades: 0 2025-W47 | installs: 3 | removals: 0 | upgrades: 0 2025-W47 | installs: 3 | removals: 0 | upgrades: 0 2025-W46 | installs: 2 | removals: 0 | upgrades: 0 2025-W46 | installs: 2 | removals: 0 | upgrades: 0 2025-W46 | installs: 2 | removals: 0 | upgrades: 0 2025-W45 | installs: 0 | removals: 1 | upgrades: 0 2025-W45 | installs: 0 | removals: 1 | upgrades: 0 2025-W45 | installs: 0 | removals: 1 | upgrades: 0 2025-W45 | installs: 0 | removals: 1 | upgrades: 0 2025-W44 | installs: 3 | removals: 0 | upgrades: 0 2025-W44 | installs: 3 | removals: 0 | upgrades: 0 2025-W44 | installs: 3 | removals: 0 | upgrades: 0 2025-W43 | installs: 2 | removals: 0 | upgrades: 0 2025-W43 | installs: 2 | removals: 0 | upgrades: 0 2025-W43 | installs: 2 | removals: 0 | upgrades: 0 2025-W42 | installs: 2 | removals: 0 | upgrades: 0 2025-W42 | installs: 2 | removals: 0 | upgrades: 0 2025-W42 | installs: 2 | removals: 0 | upgrades: 0 048 WeeklyInstalls 048 WeeklyUpgrades 2026-W42 | upgrades: 7 1.1.0
Installations: recent average 3 per week, 161 in total
Installations minus removals
Upgrades

Links

Version

1.1.0 ·
2026-10-15 21:29

SublimeText-Lean

Lean support for Sublime Text

Results

Packages