lean-elan: lean-elan (toolchain manager for the lean prover) lean-elan: lean-elan: elan is a small tool for managing your installations of the Lean lean-elan: theorem prover. It places lean and lake binaries in your PATH that lean-elan: automatically select and, if necessary, download the Lean version lean-elan: described in your project's lean-toolchain file. You can also lean-elan: install, select, run, and uninstall Lean versions manually using the lean-elan: commands of the elan executable. lean-elan: lean-elan: lean-elan: