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.
Publisher’s description
What is Elan?
Elan by Lean FRO is open-source Windows software. It is written in Rust.
Installation and requirements
The publisher provides Portable installers for 64-bit Windows. It runs without installation (portable).
Updates and version history
The current version is 4.2.4, released on August 25, 2026. The version history goes back to April 30, 2025: 7 releases, all linked to the official files. That is about 5.3 releases a year.
Popularity and file types
The source code on GitHub (leanprover/elan) has 659 stars.
Project description on GitHub: “The Lean version manager”
Pros / Cons
Pros
- Open source: the code can be inspected and built by anyone
- Portable: runs without installation
Cons
- No native ARM64 build
In short: Elan is an open-source Windows tool for 64-bit PCs. It is actively maintained.
Is Elan safe to download?
- The file is served by github.com, the publisher’s own domain
- The download link uses HTTPS
- A SHA256 hash is published, so you can verify the file:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· Open the VirusTotal report for this hash - The link has not been checked yet
- The source code is public
- ExeAtlas does not host, wrap or modify installers
Related guide: How to check a file’s SHA256 hash on Windows
Recent versions
All 7 versions ›7 versions over 1 year · about 5.3 a year
| Version | Date | Size | Files |
|---|---|---|---|
| 4.2.4Latest | August 25, 2026 | — | 64-bit ZIP |
| 4.2.3 | June 8, 2026 | — | 64-bit ZIP |
| 4.2.2 | May 28, 2026 | — | 64-bit ZIP |
| 4.2.1 | March 18, 2026 | — | 64-bit ZIP |
| 4.2.0 | February 25, 2026 | — | 64-bit ZIP |
| 4.1.2 | May 26, 2025 | — | 64-bit ZIP |
| 4.1.1 | April 30, 2025 | — | 64-bit ZIP |
Install from the command line
Silent install ›winget install --id Lean.Elan -escoop install main/elanProgram files (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
Related guide: How to use winget: install and update apps
Information
- Publisher
- Lean FRO
- Licence
- Apache-2.0
- Price
- Free
- Source code
- github.com/leanprover/elan
- Written in
- Rust
- Requires
- Windows 11 / 10
- Architecture
- 64-bit
- Installer
- Portable
- Version
- 4.2.4
- Released
- August 25, 2026
- Added to the catalogue
- May 4, 2025
- Versions listed
- 7
- Updates / year
- 5.3
- GitHub stars
- 659
- GitHub forks
- 60
- Website
- github.com
- winget ID
- Lean.Elan
- Scoop package
- main/elan
Ratings and reviews
No reviews yet. Be the first to rate it.
Frequently asked questions
Is Elan free?
Yes. Elan is open-source software under the Apache-2.0 licence.
Is Elan safe to download?
The download comes from github.com, which belongs to the publisher; ExeAtlas does not host or change the file. Compare its SHA256 hash with the one shown here, or open the VirusTotal report for that hash.
How do I install Elan with winget?
Open PowerShell or Windows Terminal and run the winget command shown on this page. winget downloads the official installer and checks its SHA256 hash before running it.
Does Elan run on ARM (Windows on Arm)?
There is no ARM64 build; Windows 11 on Arm can run the 64-bit version through emulation.
Where can I download an older version of Elan?
The versions page lists all 7 versions with links to their official installer files, back to April 30, 2025.
Can I use Elan without administrator rights?
Yes, it is portable: unpack and run it.
