Gewild: Data bygewerk 15 November 2026

Kategorieë

Internet1 415
Kommunikasie328
Klank en video936
Grafika en ontwerp561
Kantoor en produktiwiteit1 176
Ontwikkelaarsgereedskap3 279
KI-gereedskap605
Sekuriteit en privaatheid407
Stelselgereedskap3 183
Speletjies544
Onderwys en wetenskap241
Netwerk en IT292

Lean 4.32.0 aflaai

Programming Language and Theorem Prover

Dit is ’n ouer weergawe. Die nuutste weergawe is 4.35.0. Lean 4.35.0 · Vrygestel:

Installeerlêers 4.32.0

ArgitektuurTipeBestekLêergrootteAflaaiSHA256
64-bis ZIP → Draagbaar — — github.com VirusTotal

Die skakel en SHA256 kom uit die gemeenskapsmanifes van die Windows-pakketbestuurder. Vergelyk die hashwaarde van die afgelaaide lêer voordat u dit laat loop.

Vrystellingsnotas

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

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

Gewildste in IDE’s en koderedigeerders

Sien alles
  1. RStudioIDE’s en koderedigeerders · Posit Software
  2. Node.js (LTS)IDE’s en koderedigeerders · Node.js Foundation
  3. Apache NetBeansIDE’s en koderedigeerders · Apache NetBeans
  4. VSCodiumIDE’s en koderedigeerders · VSCodium
  5. HaxeIDE’s en koderedigeerders · Haxe Foundation
  6. ThonnyIDE’s en koderedigeerders · Aivar Annamaa
  7. GDevelopIDE’s en koderedigeerders · GDevelop Team
  8. mkcertIDE’s en koderedigeerders · FiloSottile
  9. ProcessingIDE’s en koderedigeerders · Processing Foundation
  10. Android StudioIDE’s en koderedigeerders · Google LLC

Meer van Lean FRO

Sien alles

Etikette

Deel