Open VSX Tracker
Back to leaderboard
lean icon

lean

jroesch.lean

Lean 3 language support for VS Code

Open VSX Repository
__ext_lean__ext_leanmarkdownkeybindingsleanleanmarkdownmarkdownProgramming Languages

Open VSX

Total downloads
17,720
Since yesterday
+6
Current version
v0.16.59
Days tracked
125

Download history

Snapshot log

Scraped at (UTC)Open VSX DLsVersion
2026-10-30 02:00:0017,720v0.16.59
2026-10-29 02:00:0017,714v0.16.59
2026-10-28 02:00:0017,712v0.16.59
2026-10-27 02:00:0017,620v0.16.59
2026-10-26 02:00:0017,610v0.16.59
2026-10-25 02:00:0017,604v0.16.59
2026-10-24 02:00:0017,602v0.16.59
2026-10-23 02:00:0017,598v0.16.59
2026-10-22 02:00:0017,590v0.16.59
2026-10-21 02:00:0017,584v0.16.59
2026-10-20 02:00:0017,562v0.16.59
2026-10-19 02:00:0017,498v0.16.59
2026-10-18 02:00:0017,492v0.16.59
2026-10-17 02:00:0017,486v0.16.59
2026-10-16 02:00:0017,482v0.16.59
2026-10-15 02:00:0017,470v0.16.59
2026-10-14 02:00:0017,432v0.16.59
2026-10-13 02:00:0017,400v0.16.59
2026-10-12 02:00:0017,386v0.16.59
2026-10-11 02:00:0017,376v0.16.59
2026-10-10 02:00:0017,370v0.16.59
2026-10-09 02:00:0017,360v0.16.59
2026-10-08 02:00:0017,358v0.16.59
2026-10-07 02:00:0017,354v0.16.59
2026-10-06 02:00:0017,348v0.16.59
2026-10-05 02:00:0017,344v0.16.59
2026-10-04 02:00:0017,340v0.16.59
2026-10-03 02:00:0017,334v0.16.59
2026-10-02 02:00:0017,332v0.16.59
2026-10-01 02:00:0017,330v0.16.59
2026-09-30 02:00:0017,312v0.16.59
2026-09-29 02:00:0017,310v0.16.59
2026-09-28 02:00:0017,308v0.16.59
2026-09-27 02:00:0017,302v0.16.59
2026-09-26 02:00:0017,296v0.16.59
2026-09-25 02:00:0017,294v0.16.59
2026-09-24 02:00:0017,206v0.16.59
2026-09-23 02:00:0017,202v0.16.59
2026-09-22 02:00:0017,114v0.16.59
2026-09-21 02:00:0017,112v0.16.59
2026-09-20 02:00:0017,108v0.16.59
2026-09-19 02:00:0017,106v0.16.59
2026-09-18 02:00:0017,102v0.16.59
2026-09-17 02:00:0017,100v0.16.59
2026-09-16 02:00:0017,096v0.16.59
2026-09-15 11:36:3717,010v0.16.59
2026-09-14 02:00:0017,002v0.16.59
2026-09-13 02:00:0016,996v0.16.59
2026-09-12 06:52:1516,992v0.16.59
2026-09-11 02:00:0016,988v0.16.59
2026-09-10 02:00:0016,986v0.16.59
2026-09-09 02:00:0016,984v0.16.59
2026-09-08 02:00:0016,980v0.16.59
2026-09-07 02:00:0016,978v0.16.59
2026-09-06 02:00:0016,976v0.16.59
2026-09-05 02:00:0016,972v0.16.59
2026-09-04 02:00:0016,968v0.16.59
2026-09-03 02:00:0016,966v0.16.59
2026-09-02 02:00:0016,964v0.16.59
2026-09-01 02:00:0016,964v0.16.59
2026-08-31 02:00:0016,962v0.16.59
2026-08-30 02:00:0016,958v0.16.59
2026-08-29 02:00:0016,954v0.16.59
2026-08-28 02:00:0016,952v0.16.59
2026-08-27 02:00:0016,946v0.16.59
2026-08-26 02:00:0016,932v0.16.59
2026-08-25 02:00:0016,930v0.16.59
2026-08-24 02:00:0016,924v0.16.59
2026-08-23 02:00:0016,910v0.16.59
2026-08-22 02:00:0016,890v0.16.59
2026-08-21 02:00:0016,886v0.16.59
2026-08-20 02:00:0016,884v0.16.59
2026-08-19 02:00:0016,882v0.16.59
2026-08-18 02:00:0016,878v0.16.59
2026-08-17 02:00:0016,874v0.16.59
2026-08-16 02:00:0016,872v0.16.59
2026-08-15 02:00:0016,870v0.16.59
2026-08-14 02:00:0016,864v0.16.59
2026-08-13 02:00:0016,862v0.16.59
2026-08-12 02:00:0016,858v0.16.59
2026-08-11 02:00:0016,854v0.16.59
2026-08-10 02:00:0016,850v0.16.59
2026-08-09 02:00:0016,848v0.16.59
2026-08-08 02:00:0016,846v0.16.59
2026-08-07 02:00:0016,844v0.16.59
2026-08-06 02:00:0016,836v0.16.59
2026-08-05 02:00:0016,832v0.16.59
2026-08-04 02:00:0016,828v0.16.59
2026-08-03 02:00:0016,824v0.16.59
2026-08-02 02:00:0016,818v0.16.59
2026-08-01 02:00:0016,812v0.16.59
2026-07-31 02:00:0016,806v0.16.59
2026-07-30 02:00:0016,802v0.16.59
2026-07-29 06:50:1716,798v0.16.59
2026-07-28 02:00:0016,792v0.16.59
2026-07-27 02:00:0016,782v0.16.59
2026-07-26 02:00:0016,778v0.16.59
2026-07-25 02:00:0016,774v0.16.59
2026-07-24 02:00:0016,764v0.16.59
2026-07-23 02:00:0016,754v0.16.59
2026-07-22 02:00:0016,734v0.16.59
2026-07-21 02:00:0016,714v0.16.59
2026-07-20 02:00:0016,700v0.16.59
2026-07-19 02:00:0016,678v0.16.59
2026-07-18 02:00:0016,664v0.16.59
2026-07-17 02:00:0016,214v0.16.59
2026-07-16 02:00:0016,210v0.16.59
2026-07-15 02:00:0016,208v0.16.59
2026-07-14 02:00:0016,204v0.16.59
2026-07-13 02:00:0016,192v0.16.59
2026-07-12 02:00:0016,186v0.16.59
2026-07-11 02:00:0016,184v0.16.59
2026-07-10 02:00:0016,178v0.16.59
2026-07-09 05:29:2216,176v0.16.59
2026-07-08 02:00:0016,170v0.16.59
2026-07-07 02:00:0016,166v0.16.59
2026-07-06 02:00:0016,160v0.16.59
2026-07-05 02:00:0016,158v0.16.59
2026-07-04 02:00:0016,152v0.16.59
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