Gewild: Data bygewerk 13 November 2026

Kategorieë

Internet1 412
Kommunikasie327
Klank en video934
Grafika en ontwerp563
Kantoor en produktiwiteit1 172
Ontwikkelaarsgereedskap3 272
KI-gereedskap599
Sekuriteit en privaatheid407
Stelselgereedskap3 179
Speletjies543
Onderwys en wetenskap240
Netwerk en IT292

Lean 4.35.0 aflaai

Programming Language and Theorem Prover

Dit is die nuutste weergawe. · Vrygestel:

Installeerlêers 4.35.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.35.0 release of Lean. View the release notes for more information.

https://github.com/leanprover/lean4/releases/tag/v4.35.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