Open VSX Tracker
Back to leaderboard
Lean 4 icon

Lean 4

leanprover.lean4

Lean 4 language support for VS Code

Open VSX Repository Homepage Issues
__ext_lean__ext_lean4markdownInfoViewkeybindingsLeanLean 4lean4lean4markdownmarkdownTheorem ProversProgramming Languages

Open VSX

Total downloads
148,153
Since yesterday
+118
Current version
v0.0.241
Days tracked
127

Download history

Version history

v0.0.241 from v0.0.240
Detected 2026-10-21 02:00 UTC
v0.0.240 from v0.0.239
Detected 2026-09-19 02:00 UTC
v0.0.239 from v0.0.238
Detected 2026-07-30 02:00 UTC

Snapshot log

Scraped at (UTC)Open VSX DLsVersion
2026-10-30 02:00:00148,153v0.0.241
2026-10-29 02:00:00148,035v0.0.241
2026-10-28 02:00:00147,714v0.0.241
2026-10-27 02:00:00147,135v0.0.241
2026-10-26 02:00:00147,003v0.0.241
2026-10-25 02:00:00146,913v0.0.241
2026-10-24 02:00:00146,777v0.0.241
2026-10-23 02:00:00146,661v0.0.241
2026-10-22 02:00:00146,489v0.0.241
2026-10-21 02:00:00146,303v0.0.241
2026-10-20 02:00:00145,833v0.0.240
2026-10-19 02:00:00145,563v0.0.240
2026-10-18 02:00:00145,453v0.0.240
2026-10-17 02:00:00145,385v0.0.240
2026-10-16 02:00:00145,273v0.0.240
2026-10-15 02:00:00145,141v0.0.240
2026-10-14 02:00:00144,979v0.0.240
2026-10-13 02:00:00144,785v0.0.240
2026-10-12 02:00:00144,673v0.0.240
2026-10-11 02:00:00144,556v0.0.240
2026-10-10 02:00:00144,407v0.0.240
2026-10-09 02:00:00144,267v0.0.240
2026-10-08 02:00:00144,121v0.0.240
2026-10-07 02:00:00143,925v0.0.240
2026-10-06 02:00:00143,783v0.0.240
2026-10-05 02:00:00143,681v0.0.240
2026-10-04 02:00:00143,587v0.0.240
2026-10-03 02:00:00143,481v0.0.240
2026-10-02 02:00:00143,343v0.0.240
2026-10-01 02:00:00143,104v0.0.240
2026-09-30 02:00:00142,874v0.0.240
2026-09-29 02:00:00141,514v0.0.240
2026-09-28 02:00:00141,322v0.0.240
2026-09-27 02:00:00141,164v0.0.240
2026-09-26 02:00:00141,002v0.0.240
2026-09-25 02:00:00140,840v0.0.240
2026-09-24 02:00:00140,408v0.0.240
2026-09-23 02:00:00140,103v0.0.240
2026-09-22 02:00:00138,398v0.0.240
2026-09-21 02:00:00136,876v0.0.240
2026-09-20 02:00:00136,252v0.0.240
2026-09-19 02:00:00135,778v0.0.240
2026-09-18 02:00:00134,208v0.0.239
2026-09-17 02:00:00134,110v0.0.239
2026-09-16 02:00:00133,956v0.0.239
2026-09-15 11:36:37133,513v0.0.239
2026-09-14 02:00:00133,366v0.0.239
2026-09-13 02:00:00133,289v0.0.239
2026-09-12 06:52:15133,234v0.0.239
2026-09-11 02:00:00133,084v0.0.239
2026-09-10 02:00:00132,960v0.0.239
2026-09-09 02:00:00132,732v0.0.239
2026-09-08 02:00:00132,614v0.0.239
2026-09-07 02:00:00132,530v0.0.239
2026-09-06 02:00:00132,474v0.0.239
2026-09-05 02:00:00132,410v0.0.239
2026-09-04 02:00:00132,316v0.0.239
2026-09-03 02:00:00132,230v0.0.239
2026-09-02 02:00:00132,158v0.0.239
2026-09-01 02:00:00132,094v0.0.239
2026-08-31 02:00:00132,024v0.0.239
2026-08-30 02:00:00131,940v0.0.239
2026-08-29 02:00:00131,850v0.0.239
2026-08-28 02:00:00131,754v0.0.239
2026-08-27 02:00:00131,652v0.0.239
2026-08-26 02:00:00131,548v0.0.239
2026-08-25 02:00:00131,452v0.0.239
2026-08-24 02:00:00131,374v0.0.239
2026-08-23 02:00:00131,290v0.0.239
2026-08-22 02:00:00131,200v0.0.239
2026-08-21 02:00:00131,086v0.0.239
2026-08-20 02:00:00131,006v0.0.239
2026-08-19 02:00:00130,860v0.0.239
2026-08-18 02:00:00130,762v0.0.239
2026-08-17 02:00:00130,662v0.0.239
2026-08-16 02:00:00130,572v0.0.239
2026-08-15 02:00:00130,472v0.0.239
2026-08-14 02:00:00130,354v0.0.239
2026-08-13 02:00:00130,262v0.0.239
2026-08-12 02:00:00130,163v0.0.239
2026-08-11 02:00:00129,960v0.0.239
2026-08-10 02:00:00129,847v0.0.239
2026-08-09 02:00:00129,751v0.0.239
2026-08-08 02:00:00129,635v0.0.239
2026-08-07 02:00:00129,521v0.0.239
2026-08-06 02:00:00129,349v0.0.239
2026-08-05 02:00:00129,181v0.0.239
2026-08-04 02:00:00128,990v0.0.239
2026-08-03 02:00:00128,741v0.0.239
2026-08-02 02:00:00128,565v0.0.239
2026-08-01 02:00:00128,403v0.0.239
2026-07-31 02:00:00128,088v0.0.239
2026-07-30 02:00:00127,394v0.0.239
2026-07-29 06:50:17126,191v0.0.238
2026-07-28 02:00:00126,089v0.0.238
2026-07-27 02:00:00126,003v0.0.238
2026-07-26 02:00:00125,897v0.0.238
2026-07-25 02:00:00125,781v0.0.238
2026-07-24 02:00:00125,715v0.0.238
2026-07-23 02:00:00125,637v0.0.238
2026-07-22 02:00:00125,521v0.0.238
2026-07-21 02:00:00125,447v0.0.238
2026-07-20 02:00:00125,355v0.0.238
2026-07-19 02:00:00125,309v0.0.238
2026-07-18 02:00:00125,219v0.0.238
2026-07-17 02:00:00125,115v0.0.238
2026-07-16 02:00:00125,047v0.0.238
2026-07-15 02:00:00123,973v0.0.238
2026-07-14 02:00:00123,925v0.0.238
2026-07-13 02:00:00123,865v0.0.238
2026-07-12 02:00:00123,799v0.0.238
2026-07-11 02:00:00123,737v0.0.238
2026-07-10 02:00:00123,649v0.0.238
2026-07-09 05:29:22123,599v0.0.238
2026-07-08 02:00:00123,511v0.0.238
2026-07-07 02:00:00123,451v0.0.238
2026-07-06 02:00:00123,363v0.0.238
2026-07-05 02:00:00123,309v0.0.238
2026-07-04 02:00:00123,273v0.0.238
2026-07-04 02:00:00123,273v0.0.238
2026-07-04 02:00:00123,273v0.0.238
2026-07-03 08:30:39123,223v0.0.238
2026-07-02 02:00:00123,104v0.0.238
2026-07-01 02:00:00123,035v0.0.238
2026-06-30 02:00:00122,951v0.0.238
2026-06-29 14:14:45122,919v0.0.238
2026-06-28 07:06:24122,837v0.0.238