elan
6.0#16 in runtime version managersFree planFree planLinuxmacOSWindows
Visitelan vs rustup
What both publish
| Fact | elan | rustup |
|---|---|---|
| License | The repository lists Apache-2.0 and MIT licenses. | The rustup repository is licensed under either Apache License 2.0 or the MIT license. |
| Purpose | elan manages installations of the Lean theorem prover. | rustup installs the Rust programming language from official release channels. |
elan plans
- elanFree
rustup plans
- rustupFree
Pick elan if…
elan suits Lean developers who want project-specific toolchain selection or manual control over installed Lean versions. It also fits workflows using version pinning, shell integration, or CI/CD.
Pick rustup if…
rustup suits Rust developers who need to install, update, or switch toolchains, or add targets for cross-compilation. It also fits users managing local Rust builds or components used by editors.