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.
Description de l’éditeur (anglais)
Elan : présentation
Publié par Lean FRO, Elan fait partie des logiciels open source pour Windows. Il est développé en Rust.
Installation et configuration requise
L’éditeur fournit des installateurs Portable pour les versions 64 bits de Windows. Il fonctionne sans installation (version portable).
Mises à jour et historique des versions
La version actuelle est la 4.2.4, sortie le 25 août 2026. L’historique compte 7 versions, la plus ancienne datant du 30 avril 2025, toutes reliées aux fichiers officiels. Cela représente environ 5,3 versions par an.
Popularité et types de fichiers
Le code source publié sur GitHub (leanprover/elan) compte 659 étoiles.
Description du projet sur GitHub: “The Lean version manager”
Points forts / Points faibles
Points forts
- Open source : chacun peut examiner et compiler le code
- Portable : fonctionne sans installation
Points faibles
- Pas de version ARM64 native
En résumé: Elan est un logiciel open source pour Windows, proposé pour les PC 64 bits. Il est maintenu activement.
Elan : le téléchargement est-il sûr ?
- Le fichier est servi par github.com, le domaine de l’éditeur
- Le lien de téléchargement utilise HTTPS
- Une empreinte SHA256 est publiée : le fichier peut être vérifié:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· Ouvrir le rapport VirusTotal de cette empreinte - Le lien n’a pas encore été vérifié
- Le code source est public
- ExeAtlas n’héberge, n’emballe ni ne modifie aucun installateur
Guide associé: Vérifier l’empreinte SHA256 d’un fichier sous Windows
Versions récentes
Toutes les versions (7) ›7 versions en 1 an · environ 5,3 par an
| Version | Date | Taille | Fichiers |
|---|---|---|---|
| 4.2.4Dernière | 25 août 2026 | — | 64 bits ZIP |
| 4.2.3 | 8 juin 2026 | — | 64 bits ZIP |
| 4.2.2 | 28 mai 2026 | — | 64 bits ZIP |
| 4.2.1 | 18 mars 2026 | — | 64 bits ZIP |
| 4.2.0 | 25 février 2026 | — | 64 bits ZIP |
| 4.1.2 | 26 mai 2025 | — | 64 bits ZIP |
| 4.1.1 | 30 avril 2025 | — | 64 bits ZIP |
Installer en ligne de commande
Installation silencieuse ›winget install --id Lean.Elan -escoop install main/elanFichiers programme (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
Guide associé: Utiliser winget : installer et mettre à jour
Informations
- Éditeur
- Lean FRO
- Licence
- Apache-2.0
- Prix
- Gratuit
- Code source
- github.com/leanprover/elan
- Langage
- Rust
- Configuration requise
- Windows 11 / 10
- Architecture
- 64 bits
- Installateur
- Portable
- Version
- 4.2.4
- Date de sortie
- 25 août 2026
- Ajouté au catalogue
- 4 mai 2025
- Versions répertoriées
- 7
- Mises à jour par an
- 5,3
- Étoiles GitHub
- 659
- Forks GitHub
- 60
- Site officiel
- github.com
- Identifiant winget
- Lean.Elan
- Paquet Scoop
- main/elan
Notes et avis
Aucun avis pour l’instant. Soyez le premier à noter ce logiciel.
Questions fréquentes
Elan est-il gratuit ?
Oui. Elan est un logiciel open source distribué sous licence Apache-2.0.
Elan : le téléchargement est-il sûr ?
Le fichier est servi par github.com, un domaine qui appartient à l’éditeur ; ExeAtlas n’héberge pas le fichier et ne le modifie pas. Comparez son empreinte SHA256 avec celle affichée ici, ou ouvrez le rapport VirusTotal de cette empreinte.
Comment installer Elan avec winget ?
Ouvrez PowerShell ou le Terminal Windows et exécutez la commande winget indiquée sur cette page. winget télécharge l’installateur officiel et vérifie son empreinte SHA256 avant de le lancer.
Elan fonctionne-t-il sur ARM (Windows on Arm) ?
Il n’existe pas de version ARM64 ; Windows 11 sur Arm peut exécuter la version 64 bits par émulation.
Où télécharger une ancienne version d’Elan ?
La page des versions répertorie les 7 versions avec les liens vers leurs fichiers d’installation officiels, jusqu’à celle du 30 avril 2025.
Peut-on utiliser Elan sans droits d’administrateur ?
Oui, il s’agit d’une version portable : il suffit de la décompresser et de la lancer.
