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-பிட் Windows-க்கு போர்ட்டபிள் வடிவில் நிறுவிகளை வழங்குகிறார். இதை நிறுவாமலேயே இயக்கலாம் (போர்ட்டபிள்).
புதுப்பிப்புகளும் பதிப்பு வரலாறும்
தற்போதைய பதிப்பு 4.2.4; இது 25 ஆகஸ்ட், 2026 அன்று வெளியானது. பதிப்பு வரலாறு 30 ஏப்ரல், 2025 வரை பின்னோக்கிச் செல்கிறது: மொத்தம் 7 வெளியீடுகள், அனைத்தும் அதிகாரப்பூர்வ கோப்புகளுடன் இணைக்கப்பட்டவை. அதாவது ஆண்டுக்குச் சுமார் 5.3 வெளியீடுகள்.
பிரபலமும் கோப்பு வகைகளும்
GitHub-இல் உள்ள இதன் மூலக் குறியீட்டுக்கு (leanprover/elan) 659 ஸ்டார்கள் உள்ளன.
GitHub-இல் உள்ள திட்ட விளக்கம்: “The Lean version manager”
நிறைகள் / குறைகள்
நிறைகள்
- ஓப்பன் சோர்ஸ்: குறியீட்டை யார் வேண்டுமானாலும் பார்க்கலாம், பில்ட் செய்யலாம்
- போர்ட்டபிள்: நிறுவல் தேவையில்லை
குறைகள்
- நேட்டிவ் ARM64 பதிப்பு இல்லை
சுருக்கமாக: Elan ஒரு 64-பிட் கணினிகளுக்கான ஓப்பன் சோர்ஸ் Windows கருவி. இது தொடர்ந்து பராமரிக்கப்படுகிறது.
Elan பதிவிறக்கம் பாதுகாப்பானதா?
- கோப்பை வழங்குவது github.com, இது வெளியீட்டாளரின் சொந்த டொமைன்
- பதிவிறக்க இணைப்பு HTTPS பயன்படுத்துகிறது
- SHA256 ஹாஷ் வெளியிடப்பட்டுள்ளது, எனவே கோப்பைச் சரிபார்க்கலாம்:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· இந்த ஹாஷுக்கான VirusTotal அறிக்கையைத் திறக்கவும் - இணைப்பு இன்னும் சரிபார்க்கப்படவில்லை
- மூலக் குறியீடு பொதுவில் கிடைக்கிறது
- ExeAtlas நிறுவிகளைச் சேமிப்பதோ, சுற்றிக் கட்டுவதோ, மாற்றுவதோ இல்லை
தொடர்புடைய வழிகாட்டி: Windows-இல் கோப்பின் SHA256 ஹாஷைச் சரிபார்ப்பது எப்படி
அண்மைப் பதிப்புகள்
அனைத்து 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-பிட்
- நிறுவி வகை
- போர்ட்டபிள்
- பதிப்பு
- 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 பழைய பதிப்பை எங்கே பதிவிறக்கம் செய்வது?
பதிப்புகள் பக்கத்தில் அனைத்து 7 பதிப்புகளும் (30 ஏப்ரல், 2025 முதல்) அவற்றின் அதிகாரப்பூர்வ நிறுவிக் கோப்புகளுக்கான இணைப்புகளுடன் உள்ளன.
நிர்வாகி உரிமைகள் இல்லாமல் Elan பயன்படுத்த முடியுமா?
ஆம், இது போர்ட்டபிள்: பிரித்தெடுத்து (unzip) நேரடியாக இயக்கலாம்.
