xiangzhedev@gmail.com xz-dev Elan manages Lean toolchains and selects the appropriate Lean version for each project. This package installs upstream's prebuilt static executable and command proxies for Lean, Lake, and legacy Lean tools. https://github.com/leanprover/elan/issues leanprover/elan