elan

Lean toolchain installer

languageApache-2.0

Install

curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh

About

Elan is a version manager for the Lean programming language.

leanversion-manager