Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover. Lean programming primarily involves defining types and functions. This allows your focus to remain on the problem domain and manipulating its data, rather than the details of programming. Lean has numerous features, including:
- Type inference
- First-class functions
- Powerful data types
- Pattern matching
- Type classes
- Extensible syntax
- Hygienic macros
- Dependent types
- Metaprogramming framework
- Multithreading
- Verification: you can prove properties of your functions using Lean itself
Väljaandja kirjeldus (inglise)
Mis on Lean?
Programm Lean on avatud lähtekoodiga tarkvara Windowsile, mille väljaandja on Lean FRO. Kategooria: ide-d ja koodiredaktorid. Programmeerimiskeel: Lean.
Paigaldamine ja nõuded
Väljaandja pakub paigaldusfaile vormingus Portatiivne; saadaval on 64-bitine versioon. Programm töötab ilma paigaldamata (portatiivne).
Uuendused ja versiooniajalugu
Uusim versioon on 4.35.0, avaldatud 12. oktoober 2026. Versiooniajalugu ulatub kuupäevani 1. mai 2025: 24 väljalaset, kõik seotud ametlike failidega. See teeb umbes 17 väljalaset aastas. Viimane uuendus on vähem kui kuu vana.
Populaarsus ja failitüübid
Lähtekoodil GitHubis (leanprover/lean4) on 9626 tähte. Sarnased programmid on näiteks OpenCode, RStudio ja Node.js (LTS).
Projekti kirjeldus GitHubis: “Lean 4 programming language and theorem prover”
Plussid / Miinused
Plussid
- Avatud lähtekood: koodi saab igaüks üle vaadata ja ise kompileerida
- Portatiivne: töötab ilma paigaldamata
- Sagedased uuendused (umbes 17 aastas)
- Suur kasutajaskond
Miinused
- Natiivne ARM64-versioon puudub
Kokkuvõttes: Lean on avatud lähtekoodiga Windowsi tööriist kategooriast „IDE-d ja koodiredaktorid“ (64-bitine). Seda arendatakse aktiivselt.
Kas programmi Lean allalaadimine on ohutu?
- Faili jagab github.com, väljaandja enda domeen
- Allalaadimislink kasutab HTTPS-i
- SHA256-räsi on avaldatud, nii et faili saab kontrollida:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· Ava selle räsi VirusTotali aruanne - Linki pole veel kontrollitud
- Lähtekood on avalik
- ExeAtlas ei majuta, ümbrista ega muuda paigaldusfaile
Seotud juhend: Kuidas kontrollida faili SHA256-räsi Windowsis
Turvapraktikad (OpenSSF Scorecard)
Open Source Security Foundationi automaatsed kontrollid GitHubi hoidlale leanprover/lean4, viimati tehtud 19. oktoober 2026.
- Aktiivselt hooldatud10
- Ohtlikke töövooge pole10
- Litsents määratud10
- Hoidlas pole binaarfaile10
- Fikseeritud sõltuvused4
- Koodi läbivaatus1
- Piiratud tokeniõigused0
- OpenSSF Best Practices märk0
- Turvapoliitika0
- Fuzz-testimine0
- Allkirjastatud väljalasked0
- Staatiline koodianalüüs0
Hinne näitab, kuidas projekti arendatakse ja välja antakse, mitte seda, kas programmi on ohutu paigaldada. scorecard.dev
Viimased versioonid
Kõik 24 versiooni ›24 versiooni 1 aasta jooksul · umbes 17 aastas
| Versioon | Kuupäev | Suurus | Failid |
|---|---|---|---|
| 4.35.0Uusim | 12. oktoober 2026 | — | 64-bitine ZIP |
| 4.34.1 | 24. september 2026 | — | 64-bitine ZIP |
| 4.34.0 | 14. september 2026 | — | 64-bitine ZIP |
| 4.33.1 | 21. august 2026 | — | 64-bitine ZIP |
| 4.33.0 | 10. august 2026 | — | 64-bitine ZIP |
| 4.32.2 | 28. juuli 2026 | — | 64-bitine ZIP |
| 4.32.1 | 22. juuli 2026 | — | 64-bitine ZIP |
| 4.32.0 | 13. juuli 2026 | — | 64-bitine ZIP |
Paigaldamine käsurealt
Vaikne paigaldus ›winget install --id Lean.Lean -eProgrammifailid (.exe): lean.exe, leanc.exe
Seotud juhend: Kuidas kasutada wingetit: paigaldus ja uuendamine
Teave
- Väljaandja
- Lean FRO
- Kategooria
- IDE-d ja koodiredaktorid
- Litsents
- Apache-2.0
- Hind
- Tasuta
- Lähtekood
- github.com/leanprover/lean4
- Programmeerimiskeel
- Lean
- Nõuded
- Windows 11 / 10
- Arhitektuur
- 64-bitine
- Paigaldaja
- Portatiivne
- Versioon
- 4.35.0
- Avaldatud
- 12. oktoober 2026
- Lisatud kataloogi
- 6. mai 2025
- Versioone kataloogis
- 24
- Uuendusi aastas
- 16,6
- GitHubi tähed
- 9626
- GitHubi harud (forks)
- 1059
- Veebileht
- lean-lang.org
- winget ID
- Lean.Lean
Hinnangud ja arvustused
Arvustusi veel pole. Hinda esimesena.
Programmi Lean alternatiivid
Vaata kõiki ›-
Avatud lähtekood285,2 tuh ↓ -
Avatud lähtekood705,1 tuh ↓ -
Avatud lähtekood4,9 mln ↓ -
Avatud lähtekood88,8 tuh ↓ -
Avatud lähtekood49,7 tuh ↓ -
Avatud lähtekood394,5 tuh ↓ -
Avatud lähtekood79,2 tuh ↓ -
Avatud lähtekood94,6 tuh ↓
Korduma kippuvad küsimused
Kas Lean on tasuta?
Jah. Lean on avatud lähtekoodiga tarkvara (litsents Apache-2.0).
Kas programmi Lean allalaadimine on ohutu?
Fail laaditakse alla aadressilt github.com, mis kuulub väljaandjale; ExeAtlas faili ei majuta ega muuda. Võrdle faili SHA256-räsi siin näidatuga või ava selle räsi VirusTotali aruanne.
Kuidas paigaldada programmi Lean wingetiga?
Ava PowerShell või Windows Terminal ja käivita sellel lehel näidatud winget-käsk. winget laadib alla ametliku paigaldusfaili ja kontrollib enne käivitamist selle SHA256-räsi.
Kas Lean töötab ARM-protsessoriga (Windows on Arm)?
ARM64-versiooni pole; Windows 11 on Arm saab 64-bitine versiooni käivitada emulatsiooni abil.
Kust saab alla laadida programmi Lean vanema versiooni?
Versioonide lehel on kõik 24 versiooni koos linkidega ametlikele paigaldusfailidele; vanim neist on avaldatud 1. mai 2025.
Kas programmi Lean saab kasutada ilma administraatori õigusteta?
Jah, see on portatiivne: paki lahti ja käivita.
Millised on programmi Lean alternatiivid?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans ja Haxe. Alternatiivide leht võrdleb neid.
