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 ਨੂੰ ਐਡਮਿਨਿਸਟ੍ਰੇਟਰ ਅਧਿਕਾਰਾਂ ਤੋਂ ਬਿਨਾਂ ਵਰਤਿਆ ਜਾ ਸਕਦਾ ਹੈ?
ਹਾਂ, ਇਹ ਪੋਰਟੇਬਲ ਹੈ: ਫ਼ਾਈਲ ਅਨਪੈਕ ਕਰੋ ਅਤੇ ਚਲਾਓ।
