elan is a small tool for managing your installations of the Lean theorem prover. It places lean and lake binaries in your PATH that automatically select and, if necessary, download the Lean version described in your project's lean-toolchain file. You can also install, select, run, and uninstall Lean versions manually using the commands of the elan executable.
תיאור המפיץ (אנגלית)
מה זה Elan?
Elan של Lean FRO היא תוכנת Windows בקוד פתוח. שפת הפיתוח: Rust.
התקנה ודרישות
המפיץ מספק קובצי התקנה מסוג נייד (Portable) ל־Windows בגרסת 64 ביט. היא פועלת בלי התקנה (גרסה ניידת).
עדכונים והיסטוריית גרסאות
הגרסה הנוכחית היא 4.2.4, שיצאה ב־25 באוגוסט 2026. היסטוריית הגרסאות כוללת 7 גרסאות, החל מ־30 באפריל 2025, וכולן מקושרות לקבצים הרשמיים. כלומר כ־5.3 גרסאות בשנה.
פופולריות וסוגי קבצים
לקוד המקור ב־GitHub (leanprover/elan) יש 659 כוכבים.
תיאור הפרויקט ב־GitHub: “The Lean version manager”
יתרונות / חסרונות
יתרונות
- קוד פתוח: כל אחד יכול לבדוק את הקוד ולבנות אותו
- גרסה ניידת: פועלת בלי התקנה
חסרונות
- אין גרסת ARM64 מקורית
בקצרה: Elan היא תוכנה בקוד פתוח ל־Windows למחשבי 64 ביט. היא מתוחזקת באופן פעיל.
האם ההורדה של Elan בטוחה?
- הקובץ מגיע מהשרת github.com, הדומיין של המפיץ עצמו
- קישור ההורדה משתמש ב־HTTPS
- פורסם ערך SHA256, כך שאפשר לאמת את הקובץ:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· פתיחת הדוח של VirusTotal עבור ה־hash הזה - הקישור טרם נבדק
- קוד המקור פתוח לציבור
- ExeAtlas אינו מאחסן, עוטף או משנה קובצי התקנה
מדריך קשור: בדיקת SHA256 של קובץ ב־Windows
גרסאות אחרונות
כל 7 הגרסאות ›7 גרסאות במשך שנה · כ־5.3 בשנה
| גרסה | תאריך | גודל | קבצים |
|---|---|---|---|
| 4.2.4אחרונה | 25 באוגוסט 2026 | — | 64 ביט ZIP |
| 4.2.3 | 8 ביוני 2026 | — | 64 ביט ZIP |
| 4.2.2 | 28 במאי 2026 | — | 64 ביט ZIP |
| 4.2.1 | 18 במרץ 2026 | — | 64 ביט ZIP |
| 4.2.0 | 25 בפברואר 2026 | — | 64 ביט ZIP |
| 4.1.2 | 26 במאי 2025 | — | 64 ביט ZIP |
| 4.1.1 | 30 באפריל 2025 | — | 64 ביט ZIP |
התקנה משורת הפקודה
התקנה שקטה ›winget install --id Lean.Elan -escoop install main/elanקובצי תוכנה (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
מדריך קשור: מדריך winget: התקנה ועדכון של תוכנות
מידע
- מפיץ
- Lean FRO
- רישיון
- Apache-2.0
- מחיר
- חינם
- קוד מקור
- github.com/leanprover/elan
- שפת פיתוח
- Rust
- דרישות
- Windows 11 / 10
- ארכיטקטורה
- 64 ביט
- סוג קובץ ההתקנה
- נייד (Portable)
- גרסה
- 4.2.4
- תאריך שחרור
- 25 באוגוסט 2026
- נוספה לקטלוג
- 4 במאי 2025
- גרסאות ברשימה
- 7
- עדכונים בשנה
- 5.3
- כוכבים ב־GitHub
- 659
- Forks ב־GitHub
- 60
- אתר רשמי
- github.com
- מזהה winget
- Lean.Elan
- חבילת Scoop
- main/elan
דירוגים וביקורות
אין עדיין ביקורות. אפשר להיות הראשונים לדרג.
שאלות נפוצות
האם Elan חינמית?
כן. Elan היא תוכנת קוד פתוח ברישיון Apache-2.0.
האם ההורדה של Elan בטוחה?
הקובץ מגיע מהשרת github.com, ששייך למפיץ; ExeAtlas אינו מאחסן את הקובץ ואינו משנה אותו. אפשר להשוות את ערך ה־SHA256 של הקובץ לערך שמוצג כאן, או לפתוח את הדוח של VirusTotal עבור אותו ערך.
איך מתקינים את Elan באמצעות winget?
פותחים את PowerShell או את Windows Terminal ומריצים את פקודת ה־winget שמופיעה בדף הזה. winget מוריד את קובץ ההתקנה הרשמי ובודק את ערך ה־SHA256 שלו לפני ההפעלה.
אפשר להריץ את Elan על ARM (Windows on Arm)?
אין גרסת ARM64; Windows 11 on Arm יכול להריץ את גרסת ה־64 ביט באמצעות אמולציה.
איפה אפשר להוריד גרסה קודמת של Elan?
בדף הגרסאות מופיעות כל 7 הגרסאות עם קישורים לקובצי ההתקנה הרשמיים, עד 30 באפריל 2025.
אפשר להשתמש ב־Elan בלי הרשאות מנהל?
כן, זו גרסה ניידת: מחלצים את הקבצים ומפעילים.
