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
132,024
Since yesterday
+84
Current version
v0.0.239
Days tracked
67

Download history

Version history

v0.0.239 from v0.0.238
Detected 2026-07-30 02:00 UTC

Snapshot log

Scraped at (UTC)Open VSX DLsVersion
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