npm

elan-init

Installer and version manager for the Lean theorem prover

brewmacoslinux
Try with needOr install directly
Source

About

Lean Theorem Prover installer and version manager

Commands

elan

Examples

Install the latest stable version of Lean$ elan toolchain install stable
Set the default Lean toolchain for your system$ elan default stable
Check the currently installed Lean version$ elan --version