Populare: Date actualizate pe 4 noiembrie 2026

Categorii

Internet1.367
Comunicare322
Audio și video908
Grafică și design545
Birou și productivitate1.132
Instrumente pentru dezvoltatori3.156
Instrumente AI539
Securitate și confidențialitate392
Instrumente de sistem3.151
Jocuri529
Educație și știință240
Rețea și IT287

Descarcă Lean 4.33.1 pentru Windows

Programming Language and Theorem Prover

Aceasta este o versiune mai veche. Versiunea actuală este 4.35.0. Lean 4.35.0 · Data lansării:

Fișiere de instalare 4.33.1

ArhitecturăTipDomeniuDimensiune fișierDescărcareSHA256
64 de biți ZIP → Portabil — — github.com VirusTotal

Linkul și hash-ul SHA256 provin din manifestul comunitar al Windows Package Manager. Comparați hash-ul fișierului descărcat înainte de a-l rula.

Note de versiune

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

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

Cele mai populare în IDE-uri și editoare de cod

Vezi tot
  1. OpenCodeIDE-uri și editoare de cod · OpenCode
  2. RStudioIDE-uri și editoare de cod · Posit Software
  3. Node.js (LTS)IDE-uri și editoare de cod · Node.js Foundation
  4. Apache NetBeansIDE-uri și editoare de cod · Apache NetBeans
  5. VSCodiumIDE-uri și editoare de cod · VSCodium
  6. HaxeIDE-uri și editoare de cod · Haxe Foundation
  7. ThonnyIDE-uri și editoare de cod · Aivar Annamaa
  8. GDevelopIDE-uri și editoare de cod · GDevelop Team
  9. mkcertIDE-uri și editoare de cod · FiloSottile
  10. ProcessingIDE-uri și editoare de cod · Processing Foundation

Alte programe de la Lean FRO

Vezi tot

Etichete

Distribuie