Populaarsed: Andmed uuendatud 13. november 2026

Kategooriad

Internet1412
Suhtlus327
Heli ja video934
Graafika ja disain563
Kontor ja tootlikkus1172
Arendustööriistad3272
Tehisintellekt599
Turvalisus ja privaatsus407
Süsteemitööriistad3179
Mängud543
Haridus ja teadus240
Võrk ja IT292

Lean: vanemad versioonid ja kogu ajalugu

Programming Language and Theorem Prover

Siin on programmi Lean 24 versiooni: esimene avaldatud 1. mai 2025, praegune versioon on 4.35.0. Iga versioon viitab väljaandja enda paigaldusfailidele.

2025: 10 10 25 2026: 14 14 26

24 versiooni 1 aasta jooksul · umbes 17 aastas

VersioonKuupäevSuurusFailid
4.35.0Uusim 12. oktoober 2026 — 64-bitine ZIP
Muudatuste loend
This is the v4.35.0 release of Lean. View the release notes for more information.
4.34.1 24. september 2026 — 64-bitine ZIP
Muudatuste loend
This is the v4.34.1 release of Lean. View the release notes for more information.
4.34.0 14. september 2026 — 64-bitine ZIP
Muudatuste loend
This is the v4.34.0 release of Lean. View the release notes for more information.
4.33.1 21. august 2026 — 64-bitine ZIP
Muudatuste loend
This is the v4.33.1 release of Lean. View the release notes for more information.
4.33.0 10. august 2026 — 64-bitine ZIP
Muudatuste loend
This is the v4.33.0 release of Lean. View the release notes for more information.
4.32.2 28. juuli 2026 — 64-bitine ZIP
Muudatuste loend
This is the v4.32.2 release of Lean. View the release notes for more information.
4.32.1 22. juuli 2026 — 64-bitine ZIP
Muudatuste loend
This is the v4.32.1 release of Lean. View the release notes for more information.
4.32.0 13. juuli 2026 — 64-bitine ZIP
Muudatuste loend
This is the v4.32.0 release of Lean. View the release notes for more information.
4.31.0 15. juuni 2026 — 64-bitine ZIP
Muudatuste loend
This is the v4.31.0 release of Lean. View the release notes for more information.
4.30.0 26. mai 2026 — 64-bitine ZIP
Muudatuste loend
This is the v4.30.0 release of Lean. View the release notes for more information.
4.29.1 14. aprill 2026 — 64-bitine ZIP
4.29.0 27. märts 2026 — 64-bitine ZIP
4.28.0 16. veebruar 2026 — 64-bitine ZIP
4.27.0 23. jaanuar 2026 — 64-bitine ZIP
4.26.0 13. detsember 2025 — 64-bitine ZIP
4.25.2 24. november 2025 — 64-bitine ZIP
4.25.0 14. november 2025 — 64-bitine ZIP
4.24.0 14. oktoober 2025 — 64-bitine ZIP
4.23.0 14. september 2025 — 64-bitine ZIP
4.22.0 14. august 2025 — 64-bitine ZIP
4.21.0 30. juuni 2025 — 64-bitine ZIP
4.20.1 4. juuni 2025 — 64-bitine ZIP
4.20.0 2. juuni 2025 — 64-bitine ZIP
4.19.0 1. mai 2025 — 64-bitine ZIP

Populaarseim: IDE-d ja koodiredaktorid

Vaata kõiki
  1. RStudioIDE-d ja koodiredaktorid · Posit Software
  2. Node.js (LTS)IDE-d ja koodiredaktorid · Node.js Foundation
  3. Apache NetBeansIDE-d ja koodiredaktorid · Apache NetBeans
  4. VSCodiumIDE-d ja koodiredaktorid · VSCodium
  5. HaxeIDE-d ja koodiredaktorid · Haxe Foundation
  6. ThonnyIDE-d ja koodiredaktorid · Aivar Annamaa
  7. GDevelopIDE-d ja koodiredaktorid · GDevelop Team
  8. mkcertIDE-d ja koodiredaktorid · FiloSottile
  9. ProcessingIDE-d ja koodiredaktorid · Processing Foundation
  10. Android StudioIDE-d ja koodiredaktorid · Google LLC

Veel väljaandjalt Lean FRO

Vaata kõiki

Sildid

Jaga