Priljubljeno: Podatki posodobljeni: 31. oktober 2026

Kategorije

Internet1361
Komunikacija321
Zvok in video903
Grafika in oblikovanje543
Pisarna in produktivnost1120
Orodja za razvijalce3139
Orodja UI534
Varnost in zasebnost388
Sistemska orodja3126
Igre524
Izobraževanje in znanost239
Omrežje in IT283

Lean 4.29.0: prenos za Windows

Programming Language and Theorem Prover

To je starejša različica. Najnovejša različica je 4.35.0. Lean 4.35.0 · Izdano:

Namestitvene datoteke 4.29.0

ArhitekturaVrstaZa kogaVelikost datotekePrenesiSHA256
64-bitno ZIP → Prenosna različica — — github.com VirusTotal

Povezava in SHA256 izhajata iz manifesta skupnosti Windows Package Manager. Pred zagonom primerjajte zgoščeno vrednost prenesene datoteke.

Opombe ob izdaji

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

Najbolj priljubljeno v kategoriji „Razvojna okolja in urejevalniki kode“

Prikaži vse
  1. OpenCodeRazvojna okolja in urejevalniki kode · OpenCode
  2. RStudioRazvojna okolja in urejevalniki kode · Posit Software
  3. Node.js (LTS)Razvojna okolja in urejevalniki kode · Node.js Foundation
  4. Apache NetBeansRazvojna okolja in urejevalniki kode · Apache NetBeans
  5. VSCodiumRazvojna okolja in urejevalniki kode · VSCodium
  6. HaxeRazvojna okolja in urejevalniki kode · Haxe Foundation
  7. ThonnyRazvojna okolja in urejevalniki kode · Aivar Annamaa
  8. GDevelopRazvojna okolja in urejevalniki kode · GDevelop Team
  9. mkcertRazvojna okolja in urejevalniki kode · FiloSottile
  10. ProcessingRazvojna okolja in urejevalniki kode · Processing Foundation

Več programov izdajatelja Lean FRO

Prikaži vse

Oznake

Deli