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
გამომცემლის აღწერა (ინგლისური)
რა არის Lean?
Lean — ღია კოდის Windows პროგრამა კატეგორიიდან „IDE და კოდის რედაქტორები“, რომელსაც Lean FRO გამოსცემს. პროგრამირების ენა: Lean.
ინსტალაცია და მოთხოვნები
გამომცემელი გთავაზობთ პორტატული საინსტალაციო ფაილებს სისტემებისთვის: 64-ბიტიანი. მუშაობს ინსტალაციის გარეშე (პორტატული).
განახლებები და ვერსიების ისტორია
უახლესი ვერსია: 4.35.0, გამოშვების თარიღი: 12 ოქტომბერი, 2026. ვერსიების ისტორიაში 24 გამოშვებაა (პირველი: 1 მაისი, 2025); ყველა ოფიციალურ ფაილებზე მიუთითებს. ეს დაახლოებით 17 განახლებაა წელიწადში. ბოლო განახლება ერთ თვეზე ნაკლები ხნისაა.
პოპულარობა და ფაილის ტიპები
წყაროს კოდს GitHub-ზე (leanprover/lean4) 9626 ვარსკვლავი აქვს. მსგავსი პროგრამები: OpenCode, RStudio და Node.js (LTS).
პროექტის აღწერა GitHub-ზე: “Lean 4 programming language and theorem prover”
დადებითი მხარეები / უარყოფითი მხარეები
დადებითი მხარეები
- ღია კოდი: ნებისმიერს შეუძლია კოდის შემოწმება და აწყობა
- პორტატული: ინსტალაცია არ სჭირდება
- ხშირი განახლებები (დაახლოებით 17 წელიწადში)
- მომხმარებლების დიდი რაოდენობა
უარყოფითი მხარეები
- მშობლიური ARM64 ვერსია არ არის
მოკლედ: Lean — ღია კოდის ხელსაწყო (ide და კოდის რედაქტორები) კომპიუტერებისთვის: 64-ბიტიანი. რეგულარულად ახლდება.
Lean: უსაფრთხოა თუ არა ჩამოტვირთვა?
- ფაილი მოდის გამომცემლის საკუთარი დომენიდან (github.com)
- ჩამოტვირთვის ბმული HTTPS-ს იყენებს
- SHA256 ჰეში გამოქვეყნებულია, ფაილის შემოწმება შეგიძლიათ:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· გახსენით VirusTotal-ის ანგარიში ამ ჰეშისთვის - ბმული ჯერ არ შემოწმებულა
- წყაროს კოდი ღიაა
- ExeAtlas საინსტალაციო ფაილებს არ ინახავს, არ ფუთავს და არ ცვლის
დაკავშირებული ინსტრუქცია: როგორ შევამოწმოთ ფაილის SHA256 ჰეში Windows-ზე
უსაფრთხოების პრაქტიკა (OpenSSF Scorecard)
Open Source Security Foundation-ის ავტომატური შემოწმება GitHub-ის რეპოზიტორიისთვის leanprover/lean4; ბოლო გაშვება: 19 ოქტომბერი, 2026.
- აქტიური მხარდაჭერა10
- სახიფათო workflow არ არის10
- ლიცენზია მითითებულია10
- რეპოზიტორიაში ბინარული ფაილები არ არის10
- ფიქსირებული დამოკიდებულებები4
- კოდის მიმოხილვა1
- ტოკენის შეზღუდული უფლებები0
- OpenSSF Best Practices ნიშანი0
- უსაფრთხოების პოლიტიკა0
- ფაზინგი0
- ხელმოწერილი გამოშვებები0
- კოდის სტატიკური ანალიზი0
ქულა აფასებს, როგორ ვითარდება და გამოიცემა პროექტი, და არა იმას, უსაფრთხოა თუ არა პროგრამის ინსტალაცია. scorecard.dev
ბოლო ვერსიები
ყველა ვერსია (24) ›24 ვერსია 1 წელიწადში · დაახლოებით 17 განახლება წელიწადში
| ვერსია | თარიღი | ზომა | ფაილები |
|---|---|---|---|
| 4.35.0უახლესი | 12 ოქტომბერი, 2026 | — | 64-ბიტიანი ZIP |
| 4.34.1 | 24 სექტემბერი, 2026 | — | 64-ბიტიანი ZIP |
| 4.34.0 | 14 სექტემბერი, 2026 | — | 64-ბიტიანი ZIP |
| 4.33.1 | 21 აგვისტო, 2026 | — | 64-ბიტიანი ZIP |
| 4.33.0 | 10 აგვისტო, 2026 | — | 64-ბიტიანი ZIP |
| 4.32.2 | 28 ივლისი, 2026 | — | 64-ბიტიანი ZIP |
| 4.32.1 | 22 ივლისი, 2026 | — | 64-ბიტიანი ZIP |
| 4.32.0 | 13 ივლისი, 2026 | — | 64-ბიტიანი ZIP |
ინსტალაცია ბრძანებათა ხაზიდან
ჩუმი ინსტალაცია ›winget install --id Lean.Lean -eპროგრამის ფაილები (.exe): lean.exe, leanc.exe
დაკავშირებული ინსტრუქცია: როგორ გამოვიყენოთ winget: ინსტალაცია და განახლება
ინფორმაცია
- გამომცემელი
- Lean FRO
- კატეგორია
- IDE და კოდის რედაქტორები
- ლიცენზია
- Apache-2.0
- ფასი
- უფასო
- წყაროს კოდი
- github.com/leanprover/lean4
- დაწერილია ენაზე
- Lean
- მოთხოვნები
- Windows 11 / 10
- არქიტექტურა
- 64-ბიტიანი
- ინსტალერის ტიპი
- პორტატული
- ვერსია
- 4.35.0
- გამოშვების თარიღი
- 12 ოქტომბერი, 2026
- დაემატა კატალოგს
- 6 მაისი, 2025
- აღრიცხული ვერსიები
- 24
- განახლება წელიწადში
- 16,6
- GitHub ვარსკვლავები
- 9626
- GitHub ფორკები
- 1059
- ოფიციალური საიტი
- lean-lang.org
- winget ID
- Lean.Lean
შეფასებები და მიმოხილვები
მიმოხილვები ჯერ არ არის. შეაფასეთ პირველმა.
Lean: ალტერნატივები
ყველას ნახვა ›-
ღია კოდი285,2 ათ. ↓ -
ღია კოდი705,1 ათ. ↓ -
ღია კოდი4,9 მლნ. ↓ -
ღია კოდი88,8 ათ. ↓ -
ღია კოდი49,7 ათ. ↓ -
ღია კოდი394,5 ათ. ↓ -
ღია კოდი79,2 ათ. ↓ -
ღია კოდი94,6 ათ. ↓
ხშირად დასმული კითხვები
Lean უფასოა?
დიახ. Lean ღია კოდის პროგრამაა (ლიცენზია Apache-2.0).
Lean: უსაფრთხოა თუ არა ჩამოტვირთვა?
ფაილი მოდის მისამართიდან github.com, რომელიც გამომცემელს ეკუთვნის; ExeAtlas ფაილს არ ინახავს და არ ცვლის. შეადარეთ ჩამოტვირთული ფაილის SHA256 ჰეში აქ ნაჩვენებს ან გახსენით VirusTotal-ის ანგარიში ამ ჰეშისთვის.
როგორ დავაინსტალიროთ Lean winget-ით?
გახსენით PowerShell ან Windows Terminal და გაუშვით ამ გვერდზე ნაჩვენები winget ბრძანება. winget ჩამოტვირთავს ოფიციალურ საინსტალაციო ფაილს და გაშვებამდე ამოწმებს მის SHA256 ჰეშს.
მუშაობს თუ არა Lean ARM-ზე (Windows on Arm)?
ARM64 ვერსია არ არის; Windows 11 on Arm-ს შეუძლია ემულაციით გაუშვას ვერსია: 64-ბიტიანი.
Lean: სად ჩამოვტვირთოთ ძველი ვერსია?
ვერსიების გვერდზე ჩამოთვლილია ყველა 24 ვერსია (პირველი: 1 მაისი, 2025), ოფიციალური საინსტალაციო ფაილების ბმულებით.
შეიძლება თუ არა Lean ადმინისტრატორის უფლებების გარეშე გამოვიყენოთ?
დიახ, ის პორტატულია: გახსენით არქივი და გაუშვით.
რა ალტერნატივები არსებობს პროგრამისთვის Lean?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans და Haxe. ალტერნატივების გვერდზე ისინი შედარებულია.
