Populært: Data oppdatert 8. november 2026

Kategorier

Internett1 378
Kommunikasjon323
Lyd og video914
Grafikk og design552
Kontor og produktivitet1 137
Utviklerverktøy3 179
KI-verktøy555
Sikkerhet og personvern396
Systemverktøy3 169
Spill532
Utdanning og vitenskap240
Nettverk og IT291

Last ned Lean 4.21.0

Programming Language and Theorem Prover

Dette er en eldre versjon. Nyeste versjon er 4.35.0. Lean 4.35.0 · Utgitt:

Installasjonsfiler 4.21.0

ArkitekturTypeOmfangFilstørrelseNedlastingSHA256
64-bit ZIP → Portabel — — github.com VirusTotal

Lenken og SHA256-summen kommer fra fellesskapsmanifestet til Windows Package Manager. Sammenlign sjekksummen for den nedlastede filen før du kjører den.

Endringslogg

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

Mest populær i IDE-er og koderedigering

Se alle
  1. RStudioIDE-er og koderedigering · Posit Software
  2. Node.js (LTS)IDE-er og koderedigering · Node.js Foundation
  3. Apache NetBeansIDE-er og koderedigering · Apache NetBeans
  4. VSCodiumIDE-er og koderedigering · VSCodium
  5. HaxeIDE-er og koderedigering · Haxe Foundation
  6. ThonnyIDE-er og koderedigering · Aivar Annamaa
  7. GDevelopIDE-er og koderedigering · GDevelop Team
  8. mkcertIDE-er og koderedigering · FiloSottile
  9. ProcessingIDE-er og koderedigering · Processing Foundation
  10. Android StudioIDE-er og koderedigering · Google LLC

Mer fra Lean FRO

Se alle

Stikkord

Del