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 ለWindows የተሠራ ክፍት ምንጭ ሶፍትዌር ነው። አሳታሚው Lean FRO ነው። የተጻፈው በRust ነው።
መጫን እና የሚያስፈልጉ ነገሮች
አሳታሚው ለ64-bit Windows ተንቀሳቃሽ (portable) ጫኚዎችን ያቀርባል። ሳይጫን ይሠራል (portable)።
ዝማኔዎች እና የስሪት ታሪክ
የአሁኑ ስሪት 4.2.4 ነው፤ የተለቀቀው በ25 ኦገስት 2026 ነው። የስሪት ታሪኩ እስከ 30 ኤፕሪል 2025 ድረስ ወደ ኋላ ይሄዳል፦ 7 ስሪቶች፣ ሁሉም ከይፋዊ ፋይሎች ጋር የተገናኙ። ይህ በዓመት ወደ 5.3 ልቀቶች ገደማ ነው።
ተወዳጅነት እና የፋይል አይነቶች
በGitHub ላይ ያለው የምንጭ ኮድ (leanprover/elan) 659 ኮከቦች አሉት።
በGitHub ላይ ያለው የፕሮጀክቱ መግለጫ: “The Lean version manager”
ጥቅሞች / ጉዳቶች
ጥቅሞች
- ክፍት ምንጭ፦ ማንኛውም ሰው ኮዱን መመርመር እና መገንባት ይችላል
- ተንቀሳቃሽ (portable)፦ ሳይጫን ይሠራል
ጉዳቶች
- የራሱ የARM64 ስሪት የለም
በአጭሩ: Elan ለ64-bit ኮምፒውተሮች የተሠራ ክፍት ምንጭ የWindows መሣሪያ ነው። በንቃት ይጠበቃል።
Elanን ማውረድ ደህንነቱ የተጠበቀ ነው?
- ፋይሉ የሚቀርበው ከgithub.com ነው፤ ይህ የአሳታሚው የራሱ ጎራ ነው
- የማውረጃ አገናኙ HTTPS ይጠቀማል
- የSHA256 ሃሽ ታትሟል፤ ስለዚህ ፋይሉን ማረጋገጥ ይችላሉ:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· ለዚህ ሃሽ የVirusTotal ሪፖርቱን ይክፈቱ - አገናኙ ገና አልተረጋገጠም
- የምንጭ ኮዱ ለሕዝብ ክፍት ነው
- ExeAtlas ጫኚዎችን አያስተናግድም፣ አይጠቀልልም፣ አይቀይርም
ተዛማጅ መመሪያ: የፋይልን SHA256 ሃሽ በWindows ላይ እንዴት ማረጋገጥ ይቻላል
የቅርብ ጊዜ ስሪቶች
ሁሉም 7 ስሪቶች ›በ1 ዓመት ውስጥ 7 ስሪቶች · በዓመት ወደ 5.3 ገደማ
| ስሪት | ቀን | መጠን | ፋይሎች |
|---|---|---|---|
| 4.2.4የቅርብ ጊዜ | 25 ኦገስት 2026 | — | 64-bit ZIP |
| 4.2.3 | 8 ጁን 2026 | — | 64-bit ZIP |
| 4.2.2 | 28 ሜይ 2026 | — | 64-bit ZIP |
| 4.2.1 | 18 ማርች 2026 | — | 64-bit ZIP |
| 4.2.0 | 25 ፌብሩዋሪ 2026 | — | 64-bit ZIP |
| 4.1.2 | 26 ሜይ 2025 | — | 64-bit ZIP |
| 4.1.1 | 30 ኤፕሪል 2025 | — | 64-bit 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-bit
- ጫኚ
- ተንቀሳቃሽ (portable)
- ስሪት
- 4.2.4
- የተለቀቀበት
- 25 ኦገስት 2026
- ወደ ካታሎጉ የተጨመረበት
- 4 ሜይ 2025
- የተዘረዘሩ ስሪቶች
- 7
- ዝማኔዎች / በዓመት
- 5.3
- የGitHub ኮከቦች
- 659
- የ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-bit ስሪቱን በኢምዩሌሽን ማስኬድ ይችላል።
የElan የቆየ ስሪት ከየት ማውረድ ይቻላል?
የስሪቶች ገጹ ሁሉንም 7 ስሪቶች ከይፋዊ የመጫኛ ፋይሎቻቸው አገናኞች ጋር ይዘረዝራል፤ እስከ 30 ኤፕሪል 2025 ድረስ።
Elanን ያለ አስተዳዳሪ መብቶች መጠቀም ይቻላል?
አዎ፤ ተንቀሳቃሽ (portable) ነው፦ ይፍቱት እና ያስኪዱት።
