elan
6.0#16 in runtime version managersFree planFree planLinuxmacOSWindows
Visitelan vs nvm
What both publish
| Fact | elan | nvm |
|---|---|---|
| Latest release | The GitHub releases page identifies v4.2.4 as the latest release. | The release page lists v0.40.7 as a signed release adding concurrent-install serialization and safer download handling. |
| License | The repository lists Apache-2.0 and MIT licenses. | nvm is distributed under the MIT License, permitting use, modification, distribution and sale subject to retaining notices. |
| Purpose | elan manages installations of the Lean theorem prover. | nvm lets users install and use different Node.js versions from the command line. |
elan plans
- elanFree
nvm plans
- nvmFree
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 nvm if…
nvm suits developers who need to manage Node.js versions from the command line, including per-project version selection and CI/CD use. It is intended for per-user, per-shell installation.