mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-19 00:13:33 +00:00
8 lines
371 B
Plaintext
8 lines
371 B
Plaintext
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.
|