Beliebt: Daten aktualisiert am 26. Oktober 2026

Kategorien

Internet1.355
Kommunikation321
Audio & Video898
Grafik & Design539
Büro & Produktivität1.120
Entwicklertools3.132
KI-Tools527
Sicherheit & Datenschutz385
Systemtools3.113
Spiele523
Bildung & Wissenschaft239
Netzwerk & IT284

Lean: alte Versionen herunterladen

Programming Language and Theorem Prover

Hier sind 24 Versionen von Lean aufgeführt, von 1. Mai 2025 bis zur aktuellen 4.35.0. Jede verweist auf die Installationsdateien des Herstellers.

2025: 10 10 25 2026: 14 14 26

24 Versionen in 1 Jahr · etwa 17 pro Jahr

VersionDatumGrößeDateien
4.35.0Aktuell 12. Oktober 2026 — 64-Bit ZIP
Versionshinweise
This is the v4.35.0 release of Lean. View the release notes for more information.
4.34.1 24. September 2026 — 64-Bit ZIP
Versionshinweise
This is the v4.34.1 release of Lean. View the release notes for more information.
4.34.0 14. September 2026 — 64-Bit ZIP
Versionshinweise
This is the v4.34.0 release of Lean. View the release notes for more information.
4.33.1 21. August 2026 — 64-Bit ZIP
Versionshinweise
This is the v4.33.1 release of Lean. View the release notes for more information.
4.33.0 10. August 2026 — 64-Bit ZIP
Versionshinweise
This is the v4.33.0 release of Lean. View the release notes for more information.
4.32.2 28. Juli 2026 — 64-Bit ZIP
Versionshinweise
This is the v4.32.2 release of Lean. View the release notes for more information.
4.32.1 22. Juli 2026 — 64-Bit ZIP
Versionshinweise
This is the v4.32.1 release of Lean. View the release notes for more information.
4.32.0 13. Juli 2026 — 64-Bit ZIP
Versionshinweise
This is the v4.32.0 release of Lean. View the release notes for more information.
4.31.0 15. Juni 2026 — 64-Bit ZIP
Versionshinweise
This is the v4.31.0 release of Lean. View the release notes for more information.
4.30.0 26. Mai 2026 — 64-Bit ZIP
Versionshinweise
This is the v4.30.0 release of Lean. View the release notes for more information.
4.29.1 14. April 2026 — 64-Bit ZIP
4.29.0 27. März 2026 — 64-Bit ZIP
4.28.0 16. Februar 2026 — 64-Bit ZIP
4.27.0 23. Januar 2026 — 64-Bit ZIP
4.26.0 13. Dezember 2025 — 64-Bit ZIP
4.25.2 24. November 2025 — 64-Bit ZIP
4.25.0 14. November 2025 — 64-Bit ZIP
4.24.0 14. Oktober 2025 — 64-Bit ZIP
4.23.0 14. September 2025 — 64-Bit ZIP
4.22.0 14. August 2025 — 64-Bit ZIP
4.21.0 30. Juni 2025 — 64-Bit ZIP
4.20.1 4. Juni 2025 — 64-Bit ZIP
4.20.0 2. Juni 2025 — 64-Bit ZIP
4.19.0 1. Mai 2025 — 64-Bit ZIP

Am beliebtesten in IDEs & Code-Editoren

Alle anzeigen
  1. OpenCodeIDEs & Code-Editoren · OpenCode
  2. RStudioIDEs & Code-Editoren · Posit Software
  3. Node.js (LTS)IDEs & Code-Editoren · Node.js Foundation
  4. Apache NetBeansIDEs & Code-Editoren · Apache NetBeans
  5. VSCodiumIDEs & Code-Editoren · VSCodium
  6. HaxeIDEs & Code-Editoren · Haxe Foundation
  7. ThonnyIDEs & Code-Editoren · Aivar Annamaa
  8. GDevelopIDEs & Code-Editoren · GDevelop Team
  9. mkcertIDEs & Code-Editoren · FiloSottile
  10. ProcessingIDEs & Code-Editoren · Processing Foundation

Mehr von Lean FRO

Alle anzeigen

Schlagwörter

Teilen