blob: 3e32c08746cf9721682dcac516bb396f256970cf (
plain) (
blame)
1
2
3
4
5
6
7
|
elan is a small tool for managing your installations of the Lean theorem prover.
It places `lean` and `lake` binaries in your `PATH` that automatically select
and, if necessary, download the Lean version described in your project's
lean-toolchain file.
You can also install, select, run, and uninstall Lean versions manually using
the commands of the `elan` executable.
|
