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
Izdevēja apraksts (angļu)
Kas ir Lean?
Lean – atvērtā pirmkoda programmatūra operētājsistēmai Windows (kategorija „IDE un koda redaktori”); izdevējs – Lean FRO. Programmēšanas valoda: Lean.
Instalēšana un prasības
Izdevējs piedāvā instalētājus formātā Portatīvā šādām arhitektūrām: 64 bitu. Tā darbojas bez instalēšanas (portatīvā versija).
Atjauninājumi un versiju vēsture
Jaunākā versija ir 4.35.0, izlaista 2026. gada 12. oktobrī. Versiju vēsture sākas 2025. gada 1. maijā: 24 laidieni, visi ar saitēm uz oficiālajiem failiem. Vidēji gadā iznāk aptuveni 17 versija. Pēdējais atjauninājums ir jaunāks par mēnesi.
Popularitāte un failu tipi
Pirmkods atrodas GitHub (leanprover/lean4); zvaigžņu skaits: 9626. Līdzīgas programmas: OpenCode, RStudio un Node.js (LTS).
Projekta apraksts GitHub: “Lean 4 programming language and theorem prover”
Plusi / Mīnusi
Plusi
- Atvērtais pirmkods: kodu var pārbaudīt un kompilēt ikviens
- Portatīvā: darbojas bez instalēšanas
- Bieži atjauninājumi (aptuveni 17 gadā)
- Liela lietotāju bāze
Mīnusi
- Nav vietējās ARM64 versijas
Īsumā: Lean ir atvērtā pirmkoda rīks kategorijā „IDE un koda redaktori” datoriem ar 64 bitu arhitektūru. Tā tiek aktīvi uzturēta.
Vai programmu Lean ir droši lejupielādēt?
- Failu nodrošina github.com – paša izdevēja domēns
- Lejupielādes saite izmanto HTTPS
- Ir publicēta SHA256 kontrolsumma, tāpēc failu var pārbaudīt:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· Atvērt VirusTotal pārskatu par šo kontrolsummu - Saite vēl nav pārbaudīta
- Pirmkods ir publisks
- ExeAtlas instalētājus neglabā, neietin un nemaina
Saistītā pamācība: Kā pārbaudīt faila SHA256 kontrolsummu Windows
Drošības prakse (OpenSSF Scorecard)
Open Source Security Foundation automātiskās pārbaudes GitHub repozitorijam leanprover/lean4; pēdējā pārbaude: 2026. gada 19. oktobris.
- Aktīvi uzturēts10
- Nav bīstamu darbplūsmu10
- Licence norādīta10
- Repozitorijā nav bināro failu10
- Fiksētas atkarības4
- Koda pārskatīšana1
- Ierobežotas marķiera atļaujas0
- OpenSSF Best Practices nozīmīte0
- Drošības politika0
- Fazings (fuzzing)0
- Parakstītas versijas0
- Statiskā koda analīze0
Vērtējums raksturo to, kā projekts tiek izstrādāts un izlaists, nevis to, vai programmu ir droši instalēt. scorecard.dev
Jaunākās versijas
Visas versijas (24) ›24 versijas 1 gadā · aptuveni 17 gadā
| Versija | Datums | Lielums | Faili |
|---|---|---|---|
| 4.35.0Jaunākā | 2026. gada 12. oktobris | — | 64 bitu ZIP |
| 4.34.1 | 2026. gada 24. septembris | — | 64 bitu ZIP |
| 4.34.0 | 2026. gada 14. septembris | — | 64 bitu ZIP |
| 4.33.1 | 2026. gada 21. augusts | — | 64 bitu ZIP |
| 4.33.0 | 2026. gada 10. augusts | — | 64 bitu ZIP |
| 4.32.2 | 2026. gada 28. jūlijs | — | 64 bitu ZIP |
| 4.32.1 | 2026. gada 22. jūlijs | — | 64 bitu ZIP |
| 4.32.0 | 2026. gada 13. jūlijs | — | 64 bitu ZIP |
Instalēšana no komandrindas
Klusā instalēšana ›winget install --id Lean.Lean -eProgrammu faili (.exe): lean.exe, leanc.exe
Saistītā pamācība: Kā lietot winget: programmu instalēšana un atjaunināšana
Informācija
- Izdevējs
- Lean FRO
- Kategorija
- IDE un koda redaktori
- Licence
- Apache-2.0
- Cena
- Bez maksas
- Pirmkods
- github.com/leanprover/lean4
- Programmēšanas valoda
- Lean
- Prasības
- Windows 11 / 10
- Arhitektūra
- 64 bitu
- Instalētājs
- Portatīvā
- Versija
- 4.35.0
- Izlaista
- 2026. gada 12. oktobris
- Pievienots katalogam
- 2025. gada 6. maijs
- Versijas sarakstā
- 24
- Atjauninājumi gadā
- 16,6
- GitHub zvaigznes
- 9626
- GitHub atzarojumi
- 1059
- Tīmekļa vietne
- lean-lang.org
- winget ID
- Lean.Lean
Vērtējumi un atsauksmes
Atsauksmju vēl nav. Novērtējiet pirmais.
Programmas Lean alternatīvas
Skatīt visu ›-
Atvērtā pirmkoda285,2 tūkst. ↓ -
Atvērtā pirmkoda705,1 tūkst. ↓ -
Atvērtā pirmkoda4,9 milj. ↓ -
Atvērtā pirmkoda88,8 tūkst. ↓ -
Atvērtā pirmkoda49,7 tūkst. ↓ -
Atvērtā pirmkoda394,5 tūkst. ↓ -
Atvērtā pirmkoda79,2 tūkst. ↓ -
Atvērtā pirmkoda94,6 tūkst. ↓
Bieži uzdotie jautājumi
Vai Lean ir bez maksas?
Jā. Lean ir atvērtā pirmkoda programmatūra ar licenci Apache-2.0.
Vai programmu Lean ir droši lejupielādēt?
Fails tiek lejupielādēts no github.com, kas pieder izdevējam; ExeAtlas to neglabā un nemaina. Salīdziniet tā SHA256 kontrolsummu ar šeit norādīto vai atveriet VirusTotal pārskatu par šo kontrolsummu.
Kā instalēt programmu Lean ar winget?
Atveriet PowerShell vai Windows Terminal un palaidiet šajā lapā norādīto winget komandu. winget lejupielādē oficiālo instalētāju un pirms palaišanas pārbauda tā SHA256 kontrolsummu.
Vai Lean darbojas ar ARM (Windows on Arm)?
ARM64 versijas nav; Windows 11 on Arm var palaist 64 bitu versiju emulācijas režīmā.
Kur lejupielādēt programmas Lean vecāku versiju?
Versiju lapā ir uzskaitītas visas versijas (24) ar saitēm uz oficiālajiem instalēšanas failiem, sākot no 2025. gada 1. maija.
Vai programmu Lean var lietot bez administratora tiesībām?
Jā, tā ir portatīva: izpakojiet un palaidiet.
Kādas ir programmas Lean alternatīvas?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans un Haxe. Alternatīvu lapā tās ir salīdzinātas.
