Suositut: Tiedot päivitetty 27. lokakuuta 2026

Kategoriat

Internet1 356
Viestintä321
Ääni ja video898
Grafiikka ja suunnittelu539
Toimisto ja tuottavuus1 124
Kehitystyökalut3 134
Tekoälytyökalut529
Tietoturva ja yksityisyys385
Järjestelmätyökalut3 114
Pelit523
Opiskelu ja tiede239
Verkko ja IT284

Lataa Lean 4.32.2

Programming Language and Theorem Prover

Tämä on vanhempi versio. Uusin versio on 4.35.0. Lean 4.35.0 · Julkaistu:

Asennustiedostot 4.32.2

ArkkitehtuuriTyyppiLaajuusTiedostokokoLatausSHA256
64-bittinen ZIP → Portable — — github.com VirusTotal

Linkki ja SHA256-tiiviste ovat peräisin Windows Package Managerin yhteisön manifestista. Vertaa ladatun tiedoston tiivistettä ennen kuin suoritat sen.

Muutosloki

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

Suosituin kategoriassa IDE:t ja koodieditorit

Näytä kaikki
  1. OpenCodeIDE:t ja koodieditorit · OpenCode
  2. RStudioIDE:t ja koodieditorit · Posit Software
  3. Node.js (LTS)IDE:t ja koodieditorit · Node.js Foundation
  4. Apache NetBeansIDE:t ja koodieditorit · Apache NetBeans
  5. VSCodiumIDE:t ja koodieditorit · VSCodium
  6. HaxeIDE:t ja koodieditorit · Haxe Foundation
  7. ThonnyIDE:t ja koodieditorit · Aivar Annamaa
  8. GDevelopIDE:t ja koodieditorit · GDevelop Team
  9. mkcertIDE:t ja koodieditorit · FiloSottile
  10. ProcessingIDE:t ja koodieditorit · Processing Foundation

Lisää julkaisijalta Lean FRO

Näytä kaikki

Tunnisteet

Jaa