elan
6.0#16 in runtime version managersFree planFree planLinuxmacOSWindows
Visitelan vs GHCup
What both publish
| Fact | elan | GHCup |
|---|---|---|
| Purpose | elan manages installations of the Lean theorem prover. | GHCup is the main installer for the general purpose language Haskell. |
elan plans
- elanFree
GHCup plans
- GHCupFree
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 GHCup if…
GHCup suits Haskell developers who want to install and manage GHC and related tools across supported systems. It can also suit teams using Stack or CI/CD workflows.