Populair: Gegevens bijgewerkt op 27 oktober 2026

Categorieën

Internet1.356
Communicatie321
Audio & video898
Grafisch & ontwerp539
Kantoor & productiviteit1.124
Ontwikkeltools3.134
AI-tools529
Beveiliging & privacy385
Systeemtools3.114
Gaming523
Onderwijs & wetenschap239
Netwerk & IT284

Lean: oudere versies downloaden

Programming Language and Theorem Prover

Hier staan 24 versies van Lean, van 1 mei 2025 tot de huidige 4.35.0. Elke versie linkt naar de installatiebestanden van de uitgever zelf.

2025: 10 10 25 2026: 14 14 26

24 versies in 1 jaar · ongeveer 17 per jaar

VersieDatumGrootteBestanden
4.35.0Nieuwste 12 oktober 2026 — 64-bits ZIP
Release notes
This is the v4.35.0 release of Lean. View the release notes for more information.
4.34.1 24 september 2026 — 64-bits ZIP
Release notes
This is the v4.34.1 release of Lean. View the release notes for more information.
4.34.0 14 september 2026 — 64-bits ZIP
Release notes
This is the v4.34.0 release of Lean. View the release notes for more information.
4.33.1 21 augustus 2026 — 64-bits ZIP
Release notes
This is the v4.33.1 release of Lean. View the release notes for more information.
4.33.0 10 augustus 2026 — 64-bits ZIP
Release notes
This is the v4.33.0 release of Lean. View the release notes for more information.
4.32.2 28 juli 2026 — 64-bits ZIP
Release notes
This is the v4.32.2 release of Lean. View the release notes for more information.
4.32.1 22 juli 2026 — 64-bits ZIP
Release notes
This is the v4.32.1 release of Lean. View the release notes for more information.
4.32.0 13 juli 2026 — 64-bits ZIP
Release notes
This is the v4.32.0 release of Lean. View the release notes for more information.
4.31.0 15 juni 2026 — 64-bits ZIP
Release notes
This is the v4.31.0 release of Lean. View the release notes for more information.
4.30.0 26 mei 2026 — 64-bits ZIP
Release notes
This is the v4.30.0 release of Lean. View the release notes for more information.
4.29.1 14 april 2026 — 64-bits ZIP
4.29.0 27 maart 2026 — 64-bits ZIP
4.28.0 16 februari 2026 — 64-bits ZIP
4.27.0 23 januari 2026 — 64-bits ZIP
4.26.0 13 december 2025 — 64-bits ZIP
4.25.2 24 november 2025 — 64-bits ZIP
4.25.0 14 november 2025 — 64-bits ZIP
4.24.0 14 oktober 2025 — 64-bits ZIP
4.23.0 14 september 2025 — 64-bits ZIP
4.22.0 14 augustus 2025 — 64-bits ZIP
4.21.0 30 juni 2025 — 64-bits ZIP
4.20.1 4 juni 2025 — 64-bits ZIP
4.20.0 2 juni 2025 — 64-bits ZIP
4.19.0 1 mei 2025 — 64-bits ZIP

Populairst in IDE’s & code-editors

Alles bekijken
  1. OpenCodeIDE’s & code-editors · OpenCode
  2. RStudioIDE’s & code-editors · Posit Software
  3. Node.js (LTS)IDE’s & code-editors · Node.js Foundation
  4. Apache NetBeansIDE’s & code-editors · Apache NetBeans
  5. VSCodiumIDE’s & code-editors · VSCodium
  6. HaxeIDE’s & code-editors · Haxe Foundation
  7. ThonnyIDE’s & code-editors · Aivar Annamaa
  8. GDevelopIDE’s & code-editors · GDevelop Team
  9. mkcertIDE’s & code-editors · FiloSottile
  10. ProcessingIDE’s & code-editors · Processing Foundation

Meer van Lean FRO

Alles bekijken

Tags

Delen