Maarufu: Data ilisasishwa 8 Novemba 2026

Kategoria

Intaneti1,378
Mawasiliano323
Sauti na video914
Michoro na usanifu552
Ofisi na tija1,137
Zana za wasanidi3,179
Zana za AI555
Usalama na faragha396
Zana za mfumo3,169
Michezo532
Elimu na sayansi240
Mtandao na TEHAMA291

Pakua Lean 4.34.0

Programming Language and Theorem Prover

Hili ni toleo la zamani. Toleo la sasa ni 4.35.0. Lean 4.35.0 · Lilitolewa:

Faili za kisakinishi 4.34.0

UsanifuAinaUpeoUkubwa wa failiPakuaSHA256
64-bit ZIP → Portable — — github.com VirusTotal

Kiungo na SHA256 vinatoka kwenye manifest ya jumuiya ya Windows Package Manager. Linganisha hashi ya faili uliyopakua kabla ya kuiendesha.

Maelezo ya toleo

This is the v4.34.0 release of Lean. View the release notes for more information.

https://github.com/leanprover/lean4/releases/tag/v4.34.0

Maarufu zaidi katika IDE na vihariri vya msimbo

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

Zaidi kutoka Lean FRO

Ona zote

Lebo

Shiriki