Maarufu: Data ilisasishwa 27 Oktoba 2026

Kategoria

Intaneti1,356
Mawasiliano321
Sauti na video898
Michoro na usanifu539
Ofisi na tija1,124
Zana za wasanidi3,134
Zana za AI529
Usalama na faragha385
Zana za mfumo3,114
Michezo523
Elimu na sayansi239
Mtandao na TEHAMA284

Lean: matoleo yote na matoleo ya zamani

Programming Language and Theorem Prover

Hapa yameorodheshwa matoleo 24 ya Lean, kuanzia 1 Mei 2025 hadi toleo la sasa 4.35.0. Kila moja lina kiungo cha faili za kisakinishi za mchapishaji mwenyewe.

2025: 10 10 25 2026: 14 14 26

matoleo 24 katika mwaka 1 · takriban 17 kwa mwaka

ToleoTareheUkubwaFaili
4.35.0Toleo jipya zaidi 12 Oktoba 2026 — 64-bit ZIP
Maelezo ya toleo
This is the v4.35.0 release of Lean. View the release notes for more information.
4.34.1 24 Septemba 2026 — 64-bit ZIP
Maelezo ya toleo
This is the v4.34.1 release of Lean. View the release notes for more information.
4.34.0 14 Septemba 2026 — 64-bit ZIP
Maelezo ya toleo
This is the v4.34.0 release of Lean. View the release notes for more information.
4.33.1 21 Agosti 2026 — 64-bit ZIP
Maelezo ya toleo
This is the v4.33.1 release of Lean. View the release notes for more information.
4.33.0 10 Agosti 2026 — 64-bit ZIP
Maelezo ya toleo
This is the v4.33.0 release of Lean. View the release notes for more information.
4.32.2 28 Julai 2026 — 64-bit ZIP
Maelezo ya toleo
This is the v4.32.2 release of Lean. View the release notes for more information.
4.32.1 22 Julai 2026 — 64-bit ZIP
Maelezo ya toleo
This is the v4.32.1 release of Lean. View the release notes for more information.
4.32.0 13 Julai 2026 — 64-bit ZIP
Maelezo ya toleo
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
Maelezo ya toleo
This is the v4.31.0 release of Lean. View the release notes for more information.
4.30.0 26 Mei 2026 — 64-bit ZIP
Maelezo ya toleo
This is the v4.30.0 release of Lean. View the release notes for more information.
4.29.1 14 Aprili 2026 — 64-bit ZIP
4.29.0 27 Machi 2026 — 64-bit ZIP
4.28.0 16 Februari 2026 — 64-bit ZIP
4.27.0 23 Januari 2026 — 64-bit ZIP
4.26.0 13 Desemba 2025 — 64-bit ZIP
4.25.2 24 Novemba 2025 — 64-bit ZIP
4.25.0 14 Novemba 2025 — 64-bit ZIP
4.24.0 14 Oktoba 2025 — 64-bit ZIP
4.23.0 14 Septemba 2025 — 64-bit ZIP
4.22.0 14 Agosti 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 Mei 2025 — 64-bit ZIP

Maarufu zaidi katika IDE na vihariri vya msimbo

Ona zote
  1. OpenCodeIDE na vihariri vya msimbo · OpenCode
  2. RStudioIDE na vihariri vya msimbo · Posit Software
  3. Node.js (LTS)IDE na vihariri vya msimbo · Node.js Foundation
  4. Apache NetBeansIDE na vihariri vya msimbo · Apache NetBeans
  5. VSCodiumIDE na vihariri vya msimbo · VSCodium
  6. HaxeIDE na vihariri vya msimbo · Haxe Foundation
  7. ThonnyIDE na vihariri vya msimbo · Aivar Annamaa
  8. GDevelopIDE na vihariri vya msimbo · GDevelop Team
  9. mkcertIDE na vihariri vya msimbo · FiloSottile
  10. ProcessingIDE na vihariri vya msimbo · Processing Foundation

Zaidi kutoka Lean FRO

Ona zote

Lebo

Shiriki