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 అంటే ఏమిటి?
Lean FRO ప్రచురించిన Elan ఒక ఓపెన్ సోర్స్ Windows సాఫ్ట్‌వేర్. దీన్ని Rustలో రాశారు.
ఇన్‌స్టాలేషన్ మరియు సిస్టమ్ అవసరాలు
ప్రచురణకర్త 64-బిట్ Windows కోసం పోర్టబుల్ ఇన్‌స్టాలర్లు అందిస్తున్నారు. దీన్ని ఇన్‌స్టాల్ చేయకుండానే రన్ చేయవచ్చు (పోర్టబుల్).
అప్‌డేట్‌లు మరియు వెర్షన్ చరిత్ర
ప్రస్తుత వెర్షన్ 4.2.4, ఇది 25 ఆగస్టు, 2026న విడుదలైంది. వెర్షన్ చరిత్రలో 30 ఏప్రిల్, 2025 నుంచి 7 విడుదలలు ఉన్నాయి, అన్నీ అధికారిక ఫైల్‌లకు లింక్ అయి ఉన్నాయి. అంటే ఏటా సుమారు 5.3 విడుదలలు.
జనాదరణ మరియు ఫైల్ రకాలు
GitHubలో దీని సోర్స్ కోడ్ (leanprover/elan)కు 659 స్టార్‌లు ఉన్నాయి.
GitHubలో ప్రాజెక్ట్ వివరణ: “The Lean version manager”
అనుకూలతలు / లోపాలు
అనుకూలతలు
- ఓపెన్ సోర్స్: ఎవరైనా దీని కోడ్ చూడవచ్చు, బిల్డ్ చేయవచ్చు
- పోర్టబుల్: ఇన్‌స్టాల్ లేకుండానే రన్ అవుతుంది
లోపాలు
- నేటివ్ ARM64 బిల్డ్ లేదు
సారాంశం: Elan 64-బిట్ PCల కోసం ఒక ఓపెన్ సోర్స్ Windows టూల్. దీనికి క్రమం తప్పకుండా అప్‌డేట్‌లు వస్తాయి.
Elan డౌన్‌లోడ్ చేయడం సురక్షితమేనా?
- ఫైల్ github.com నుంచి వస్తుంది, అది ప్రచురణకర్త సొంత డొమైన్
- డౌన్‌లోడ్ లింక్ HTTPS వాడుతుంది
- SHA256 హ్యాష్ ప్రచురించబడింది, కాబట్టి మీరు ఫైల్‌ను తనిఖీ చేయవచ్చు:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· ఈ హ్యాష్ VirusTotal రిపోర్ట్ తెరవండి - లింక్ ఇంకా తనిఖీ చేయలేదు
- సోర్స్ కోడ్ పబ్లిక్‌గా అందుబాటులో ఉంది
- ExeAtlas ఇన్‌స్టాలర్‌ను హోస్ట్ చేయదు, రాప్ చేయదు, మార్చదు
సంబంధిత గైడ్: Windowsలో ఫైల్ SHA256 హ్యాష్ ఎలా చెక్ చేయాలి
ఇటీవలి వెర్షన్లు
మొత్తం 7 వెర్షన్లు ›1 సంవత్సరాల్లో 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-బిట్
- ఇన్‌స్టాలర్
- పోర్టబుల్
- వెర్షన్
- 4.2.4
- విడుదల
- 25 ఆగస్టు, 2026
- కేటలాగ్‌లో చేర్చినది
- 4 మే, 2025
- నమోదైన వెర్షన్లు
- 7
- అప్‌డేట్‌లు / సంవత్సరం
- 5.3
- GitHub స్టార్‌లు
- 659
- GitHub ఫోర్క్‌లు
- 60
- వెబ్‌సైట్
- github.com
- winget ID
- Lean.Elan
- Scoop ప్యాకేజ్
- main/elan
రేటింగ్‌లు మరియు రివ్యూలు
ఇంకా రివ్యూలు లేవు. మొదట రేటింగ్ ఇచ్చేది మీరే అవ్వండి.
తరచుగా అడిగే ప్రశ్నలు
Elan ఉచితమేనా?
అవును. Elan ఓపెన్ సోర్స్ సాఫ్ట్‌వేర్ (Apache-2.0 లైసెన్స్).
Elan డౌన్‌లోడ్ చేయడం సురక్షితమేనా?
ఫైల్ github.com నుంచి డౌన్‌లోడ్ అవుతుంది, అది ప్రచురణకర్త సొంతం; ExeAtlas ఫైల్‌ను హోస్ట్ చేయదు, మార్చదు. డౌన్‌లోడ్ చేసిన ఫైల్ SHA256 హ్యాష్‌ను ఇక్కడ చూపిన హ్యాష్‌తో సరిపోల్చండి, లేదా ఆ హ్యాష్ VirusTotal రిపోర్ట్ తెరవండి.
winget తో Elan ఎలా ఇన్‌స్టాల్ చేయాలి?
PowerShell లేదా Windows Terminal తెరిచి, ఈ పేజీలో ఉన్న winget కమాండ్ రన్ చేయండి. winget అధికారిక ఇన్‌స్టాలర్‌ను డౌన్‌లోడ్ చేసి, రన్ చేసే ముందు దాని SHA256 హ్యాష్ తనిఖీ చేస్తుంది.
Elan ARM (Windows on Arm)లో పనిచేస్తుందా?
ARM64 బిల్డ్ లేదు; Windows 11 on Armలో 64-బిట్ వెర్షన్ ఎమ్యులేషన్ ద్వారా రన్ కావచ్చు.
Elan పాత వెర్షన్ ఎక్కడ డౌన్‌లోడ్ చేయాలి?
వెర్షన్ల పేజీలో 30 ఏప్రిల్, 2025 నుంచి ఇప్పటి వరకు మొత్తం 7 వెర్షన్లు, వాటి అధికారిక ఇన్‌స్టాలర్ ఫైల్‌ల లింక్‌లతో ఉన్నాయి.
అడ్మినిస్ట్రేటర్ హక్కులు లేకుండా Elan వాడవచ్చా?
అవును, ఇది పోర్టబుల్: ఫైల్‌ను అన్‌ప్యాక్ చేసి రన్ చేయండి.
