← Package directory
Available on winget

Install Elan

The Lean version manager

Install with winget 
winget install --id Lean.Elan
Upgrade 
winget upgrade --id Lean.Elan
Uninstall 
winget uninstall --id Lean.Elan

About Elan

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.