Back to leaderboard
lean icon

lean

jroesch.lean

Lean 3 language support for VS Code

__ext_lean__ext_leanmarkdownkeybindingsleanleanmarkdownmarkdownProgramming Languages

Open VSX

Total downloads
16,148
Since yesterday
+2
Current version
v0.16.59
Days tracked
6

Download history

Snapshot log

Scraped at (UTC)Open VSX DLsVersion
2026-07-03 08:30:3916,148v0.16.59
2026-07-02 02:00:0016,146v0.16.59
2026-07-01 02:00:0016,142v0.16.59
2026-06-30 02:00:0016,138v0.16.59
2026-06-29 14:14:4516,138v0.16.59
2026-06-28 07:06:2416,134v0.16.59