Populært: Data oppdatert 7. november 2026

Kategorier

Internett1 377
Kommunikasjon323
Lyd og video913
Grafikk og design549
Kontor og produktivitet1 136
Utviklerverktøy3 175
KI-verktøy552
Sikkerhet og personvern397
Systemverktøy3 156
Spill532
Utdanning og vitenskap239
Nettverk og IT291

Last ned Lean 4.33.1

Programming Language and Theorem Prover

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

Installasjonsfiler 4.33.1

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

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

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

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