Priljubljeno: Podatki posodobljeni: 2. november 2026

Kategorije

Internet1362
Komunikacija321
Zvok in video899
Grafika in oblikovanje543
Pisarna in produktivnost1121
Orodja za razvijalce3142
Orodja UI535
Varnost in zasebnost390
Sistemska orodja3140
Igre525
Izobraževanje in znanost239
Omrežje in IT282

Lean 4.33.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.33.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

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

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