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 κυκλοφορεί από τον εκδότη Lean FRO και είναι λογισμικό ανοιχτού κώδικα για Windows. Γλώσσα προγραμματισμού: Rust.
Εγκατάσταση και απαιτήσεις
Ο εκδότης διαθέτει αρχεία εγκατάστασης Φορητό για Windows 64-bit. Λειτουργεί χωρίς εγκατάσταση (φορητή έκδοση).
Ενημερώσεις και ιστορικό εκδόσεων
Η τρέχουσα έκδοση είναι η 4.2.4 (κυκλοφορία: 25 Αυγούστου 2026). Το ιστορικό εκδόσεων ξεκινά από τις 30 Απριλίου 2025 και περιλαμβάνει 7 κυκλοφορίες, όλες με συνδέσμους προς τα επίσημα αρχεία. Αυτό αντιστοιχεί σε περίπου 5,3 κυκλοφορίες τον χρόνο.
Δημοτικότητα και τύποι αρχείων
Ο πηγαίος κώδικας στο GitHub (leanprover/elan) έχει 659 αστέρια.
Περιγραφή του έργου στο GitHub: “The Lean version manager”
Πλεονεκτήματα / Μειονεκτήματα
Πλεονεκτήματα
- Ανοιχτός κώδικας: ο καθένας μπορεί να τον ελέγξει και να τον μεταγλωττίσει
- Φορητό: λειτουργεί χωρίς εγκατάσταση
Μειονεκτήματα
- Δεν υπάρχει εγγενής έκδοση ARM64
Συνοπτικά: Το Elan είναι εργαλείο ανοιχτού κώδικα για Windows για υπολογιστές 64-bit. Συντηρείται ενεργά.
Είναι ασφαλής η λήψη του Elan;
- Το αρχείο διατίθεται από το github.com, τον τομέα του ίδιου του εκδότη
- Ο σύνδεσμος λήψης χρησιμοποιεί HTTPS
- Δημοσιεύεται hash SHA256, οπότε μπορείτε να επαληθεύσετε το αρχείο:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· Άνοιγμα της αναφοράς VirusTotal για αυτό το hash - Ο σύνδεσμος δεν έχει ελεγχθεί ακόμη
- Ο πηγαίος κώδικας είναι δημόσιος
- Το ExeAtlas δεν φιλοξενεί, δεν τυλίγει και δεν τροποποιεί αρχεία εγκατάστασης
Σχετικός οδηγός: Έλεγχος SHA256 αρχείου στα Windows
Πρόσφατες εκδόσεις
Και οι 7 εκδόσεις ›7 εκδόσεις σε 1 έτος · περίπου 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
- Αρχείο εγκατάστασης
- Φορητό
- Έκδοση
- 4.2.4
- Κυκλοφορία
- 25 Αυγούστου 2026
- Προστέθηκε στον κατάλογο
- 4 Μαΐου 2025
- Καταγεγραμμένες εκδόσεις
- 7
- Ενημερώσεις / έτος
- 5,3
- Αστέρια GitHub
- 659
- Forks στο GitHub
- 60
- Ιστότοπος
- github.com
- Αναγνωριστικό winget
- Lean.Elan
- Πακέτο Scoop
- main/elan
Βαθμολογίες και κριτικές
Δεν υπάρχουν ακόμη κριτικές. Γίνετε οι πρώτοι που θα βαθμολογήσουν.
Συχνές ερωτήσεις
Είναι δωρεάν το Elan;
Ναι. Το Elan είναι λογισμικό ανοιχτού κώδικα με άδεια Apache-2.0 και η λήψη και η χρήση του είναι δωρεάν.
Είναι ασφαλής η λήψη του Elan;
Το αρχείο κατεβαίνει από το github.com, που ανήκει στον εκδότη· το ExeAtlas δεν φιλοξενεί ούτε τροποποιεί το αρχείο. Συγκρίνετε το hash SHA256 του αρχείου με αυτό που εμφανίζεται εδώ ή ανοίξτε την αναφορά VirusTotal για αυτό το hash.
Πώς εγκαθίσταται το Elan με το winget;
Ανοίξτε το PowerShell ή το Windows Terminal και εκτελέστε την εντολή winget που εμφανίζεται σε αυτή τη σελίδα. Το winget κατεβάζει το επίσημο αρχείο εγκατάστασης και ελέγχει το hash SHA256 πριν το εκτελέσει.
Λειτουργεί το Elan σε ARM (Windows on Arm);
Δεν υπάρχει έκδοση ARM64· τα Windows 11 on Arm μπορούν να εκτελέσουν την έκδοση 64-bit μέσω εξομοίωσης.
Πού μπορώ να κατεβάσω παλαιότερη έκδοση του Elan;
Η σελίδα εκδόσεων περιλαμβάνει και τις 7 εκδόσεις με συνδέσμους προς τα επίσημα αρχεία εγκατάστασης, από τις 30 Απριλίου 2025 και μετά.
Μπορώ να χρησιμοποιήσω το Elan χωρίς δικαιώματα διαχειριστή;
Ναι, είναι φορητό: αρκεί να το αποσυμπιέσετε και να το εκτελέσετε.
