elan

6.9easy start · #12 of 51
in Development Environment Managers

Runs on Linux, Mac, Windows.

elan is ranked #12 of 51 in development environment managers on The Geeks Club. It runs on Linux, macOS, Windows. There is a free plan.

elan plans and pricing

elan Free Lean version management · Apache-2.0 and MIT licenses github.com · 28 Sept 2026

ActiveState Platform 0 of 4 in the starter kit Lesson 17.9 FlyEnv 0 of 4 in the starter kit Lesson 27.6 devenv 0 of 4 in the starter kit Lesson 37.3 Devbox 0 of 4 in the starter kit Lesson 47.2 Flox 0 of 4 in the starter kit Lesson 57.2 vfox 0 of 4 in the starter kit Lesson 67.2

Purpose: elan manages installations of the Lean theorem prover.
Automatic toolchain selection: Its lean and lake binaries select and, when necessary, download the Lean version specified in a project's lean-toolchain file.
Manual toolchain management: The elan executable can install, select, run, and uninstall Lean versions manually.
Install methods: The README provides shell installation for Linux and macOS, PowerShell installation for Windows, and release downloads for supported platforms.
NixOS: The README recommends installing the Nixpkgs version because elan-downloaded toolchains require patching on NixOS.
Dependency: The README says git is needed for Lake to download dependencies.
License: The repository lists Apache-2.0 and MIT licenses.
Project lineage: The README describes elan as basically a fork of rustup adapted for Lean infrastructure.
Uninstallation: The README says elan self uninstall should remove elan and revert the shell configuration changes made during installation.
Latest release: The GitHub releases page identifies v4.2.4 as the latest release.
Price from: Free

Claim it for free: prove the domain, then correct facts, plans and screenshots. An editor reviews every change.