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 של Lean FRO היא תוכנת Windows בקוד פתוח שמשתייכת לקטגוריה סביבות פיתוח ועורכי קוד. שפת הפיתוח: Lean.
התקנה ודרישות
המפיץ מספק קובצי התקנה מסוג נייד (Portable) ל־Windows בגרסת 64 ביט. היא פועלת בלי התקנה (גרסה ניידת).
עדכונים והיסטוריית גרסאות
הגרסה הנוכחית היא 4.35.0, שיצאה ב־12 באוקטובר 2026. היסטוריית הגרסאות כוללת 24 גרסאות, החל מ־1 במאי 2025, וכולן מקושרות לקבצים הרשמיים. כלומר כ־17 גרסאות בשנה. העדכון האחרון יצא לפני פחות מחודש.
פופולריות וסוגי קבצים
לקוד המקור ב־GitHub (leanprover/lean4) יש 9,626 כוכבים. תוכנות דומות: OpenCode, RStudio ו־Node.js (LTS).
תיאור הפרויקט ב־GitHub: “Lean 4 programming language and theorem prover”
יתרונות / חסרונות
יתרונות
- קוד פתוח: כל אחד יכול לבדוק את הקוד ולבנות אותו
- גרסה ניידת: פועלת בלי התקנה
- עדכונים תכופים (כ־17 בשנה)
- בסיס משתמשים רחב
חסרונות
- אין גרסת ARM64 מקורית
בקצרה: Lean היא תוכנה בקוד פתוח מהקטגוריה סביבות פיתוח ועורכי קוד למחשבי 64 ביט. היא מתוחזקת באופן פעיל.
האם ההורדה של Lean בטוחה?
- הקובץ מגיע מהשרת github.com, הדומיין של המפיץ עצמו
- קישור ההורדה משתמש ב־HTTPS
- פורסם ערך SHA256, כך שאפשר לאמת את הקובץ:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· פתיחת הדוח של VirusTotal עבור ה־hash הזה - הקישור טרם נבדק
- קוד המקור פתוח לציבור
- ExeAtlas אינו מאחסן, עוטף או משנה קובצי התקנה
מדריך קשור: בדיקת SHA256 של קובץ ב־Windows
נוהלי אבטחה (OpenSSF Scorecard)
בדיקות אוטומטיות של המאגר leanprover/lean4 ב־GitHub, שמבצעת Open Source Security Foundation; ההרצה האחרונה: 19 באוקטובר 2026.
- תחזוקה פעילה10
- אין תהליכי עבודה מסוכנים10
- רישיון מוצהר10
- אין קבצים בינאריים במאגר10
- תלויות מקובעות4
- סקירת קוד1
- הרשאות אסימון מוגבלות0
- תג OpenSSF Best Practices0
- מדיניות אבטחה0
- בדיקות Fuzzing0
- גרסאות חתומות0
- ניתוח קוד סטטי0
הציון מעריך את אופן הפיתוח והפרסום של הפרויקט, ולא את השאלה אם בטוח להתקין את התוכנה. scorecard.dev
גרסאות אחרונות
כל 24 הגרסאות ›24 גרסאות במשך שנה · כ־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
- קטגוריה
- סביבות פיתוח ועורכי קוד
- רישיון
- Apache-2.0
- מחיר
- חינם
- קוד מקור
- github.com/leanprover/lean4
- שפת פיתוח
- Lean
- דרישות
- Windows 11 / 10
- ארכיטקטורה
- 64 ביט
- סוג קובץ ההתקנה
- נייד (Portable)
- גרסה
- 4.35.0
- תאריך שחרור
- 12 באוקטובר 2026
- נוספה לקטלוג
- 6 במאי 2025
- גרסאות ברשימה
- 24
- עדכונים בשנה
- 16.6
- כוכבים ב־GitHub
- 9,626
- Forks ב־GitHub
- 1,059
- אתר רשמי
- lean-lang.org
- מזהה winget
- Lean.Lean
דירוגים וביקורות
אין עדיין ביקורות. אפשר להיות הראשונים לדרג.
חלופות ל־Lean
הצגת הכול ›-
קוד פתוח285.2K ↓ -
קוד פתוח705.1K ↓ -
קוד פתוח4.9M ↓ -
קוד פתוח88.8K ↓ -
קוד פתוח49.7K ↓ -
קוד פתוח394.5K ↓ -
קוד פתוח79.2K ↓ -
קוד פתוח94.6K ↓
שאלות נפוצות
האם 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. דף החלופות משווה ביניהן.
