Popularno: Podaci ažurirani: 3. novembar 2026.

Kategorije

Internet1.364
Komunikacija322
Audio i video904
Grafika i dizajn544
Kancelarija i produktivnost1.127
Alati za programere3.147
AI alati535
Bezbednost i privatnost392
Sistemski alati3.146
Igre526
Obrazovanje i nauka239
Mreža i IT283

Preuzmi Lean 4.32.2 za Windows

Programming Language and Theorem Prover

Ovo je starija verzija. Najnovija verzija je 4.35.0. Lean 4.35.0 · Objavljeno:

Instalacioni fajlovi 4.32.2

ArhitekturaTipZa kogaVeličina fajlaPreuzmiSHA256
64-bit ZIP → Portabl verzija — — github.com VirusTotal

Link i SHA256 potiču iz manifesta zajednice Windows Package Manager. Pre pokretanja uporedite heš preuzetog fajla.

Beleške o izdanju

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

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

Najpopularnije u kategoriji „IDE i editori koda“

Prikaži sve
  1. OpenCodeIDE i editori koda · OpenCode
  2. RStudioIDE i editori koda · Posit Software
  3. Node.js (LTS)IDE i editori koda · Node.js Foundation
  4. Apache NetBeansIDE i editori koda · Apache NetBeans
  5. VSCodiumIDE i editori koda · VSCodium
  6. HaxeIDE i editori koda · Haxe Foundation
  7. ThonnyIDE i editori koda · Aivar Annamaa
  8. GDevelopIDE i editori koda · GDevelop Team
  9. mkcertIDE i editori koda · FiloSottile
  10. ProcessingIDE i editori koda · Processing Foundation

Još programa izdavača Lean FRO

Prikaži sve

Oznake

Podeli