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.
Naşirin təsviri (ingilis)
Elan nədir?
Elan proqramı açıq mənbəli Windows proqram təminatıdır; naşiri: Lean FRO. Proqramlaşdırma dili: Rust.
Quraşdırma və tələblər
Naşir 64 bit sistemlər üçün Portativ quraşdırma faylı verir. Quraşdırma olmadan işləyir (portativ).
Yeniləmələr və versiya tarixçəsi
Son versiya: 4.2.4, 25 avqust 2026 tarixində buraxılıb. Versiya tarixçəsi 30 aprel 2025 tarixinə qədər uzanır: 7 versiyanın hamısı rəsmi fayllara keçidlə verilir. Bu, ildə təxminən 5,3 yeniləmə deməkdir.
Populyarlıq və fayl növləri
GitHub-dakı mənbə kodu (leanprover/elan) 659 ulduz toplayıb.
GitHub-dakı layihə təsviri: “The Lean version manager”
Üstünlüklər / Çatışmazlıqlar
Üstünlüklər
- Açıq mənbə: kodu hər kəs yoxlaya və yığa bilər
- Portativ: quraşdırma tələb etmir
Çatışmazlıqlar
- Yerli ARM64 versiyası yoxdur
Qısaca: Elan 64 bit kompüterlər üçün açıq mənbəli Windows alətidir. Mütəmadi olaraq yenilənir.
Elan proqramını yükləmək təhlükəsizdirmi?
- Fayl naşirin öz domenindən (github.com) gəlir
- Yükləmə keçidi HTTPS istifadə edir
- SHA256 heşi dərc olunub, faylı yoxlaya bilərsiniz:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· Bu heş üçün VirusTotal hesabatını açın - Keçid hələ yoxlanılmayıb
- Mənbə kodu açıqdır
- ExeAtlas quraşdırma fayllarını saxlamır, bükmür və dəyişmir
Əlaqəli təlimat: Windows-da faylın SHA256 heşini necə yoxlamaq olar
Son versiyalar
Bütün 7 versiya ›1 ildə 7 versiya · ildə təxminən 5,3 yeniləmə
| Versiya | Tarix | Ölçü | Fayllar |
|---|---|---|---|
| 4.2.4Son versiya | 25 avqust 2026 | — | 64 bit ZIP |
| 4.2.3 | 8 iyun 2026 | — | 64 bit ZIP |
| 4.2.2 | 28 may 2026 | — | 64 bit ZIP |
| 4.2.1 | 18 mart 2026 | — | 64 bit ZIP |
| 4.2.0 | 25 fevral 2026 | — | 64 bit ZIP |
| 4.1.2 | 26 may 2025 | — | 64 bit ZIP |
| 4.1.1 | 30 aprel 2025 | — | 64 bit ZIP |
Əmr sətrindən quraşdırma
Səssiz quraşdırma ›winget install --id Lean.Elan -escoop install main/elanProqram faylları (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
Əlaqəli təlimat: winget necə istifadə olunur: quraşdırma və yeniləmə
Məlumat
- Naşir
- Lean FRO
- Lisenziya
- Apache-2.0
- Qiymət
- Pulsuz
- Mənbə kodu
- github.com/leanprover/elan
- Proqramlaşdırma dili
- Rust
- Tələb
- Windows 11 / 10
- Arxitektura
- 64 bit
- Quraşdırma növü
- Portativ
- Versiya
- 4.2.4
- Buraxılış tarixi
- 25 avqust 2026
- Kataloqa əlavə olunub
- 4 may 2025
- Qeydə alınmış versiya
- 7
- İllik yeniləmə
- 5,3
- GitHub ulduzu
- 659
- GitHub fork
- 60
- Rəsmi sayt
- github.com
- winget ID
- Lean.Elan
- Scoop paketi
- main/elan
Qiymətlər və rəylər
Hələ rəy yoxdur. İlk qiyməti siz verin.
Tez-tez verilən suallar
Elan pulsuzdurmu?
Bəli. Elan açıq mənbəli proqramdır (Apache-2.0 lisenziyası).
Elan proqramını yükləmək təhlükəsizdirmi?
Fayl github.com ünvanından yüklənir; bu ünvan naşirə məxsusdur. ExeAtlas faylı saxlamır və dəyişmir. Yüklədiyiniz faylın SHA256 heşini burada göstərilənlə müqayisə edə və ya bu heş üçün VirusTotal hesabatını aça bilərsiniz.
Elan proqramı winget ilə necə quraşdırılır?
PowerShell və ya Windows Terminal açın və bu səhifədəki winget əmrini işə salın. winget rəsmi quraşdırma faylını yükləyir və işə salmazdan əvvəl SHA256 heşini yoxlayır.
Elan ARM prosessorda (Windows on Arm) işləyirmi?
ARM64 versiyası yoxdur; Windows 11 on Arm 64 bit versiyasını emulyasiya ilə işə sala bilər.
Elan proqramının köhnə versiyasını haradan yükləmək olar?
Versiyalar səhifəsində 7 versiyanın hamısı (30 aprel 2025 tarixinə qədər) rəsmi quraşdırma fayllarına keçidlərlə siyahıya alınıb.
Elan proqramından administrator hüquqları olmadan istifadə etmək olarmı?
Bəli, portativdir: arxivdən çıxarıb işə salmaq kifayətdir.
