Description
Lean theorem prover versions can be installed and switched from the command line. It is useful for developers and researchers working with Lean projects that pin toolchain versions.
Version managers download and run toolchains. Review project configuration before using it in untrusted repositories.