elan
Lean用の
pyenv
や
rbenv
のような簡単にバージョンを切り替えられるやつ
rustup
がもとになっている
GitHub:
leanprover/elan: A Lean version manager
インストール
README.md > Installation
Leanのインストール方法・elanとlakeの使い方 - Leanのインストール方法・elanとLakeの使い方
$ curl
https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh
-sSf | sh
macOS
$ brew install elan-init
$ elan default leanprover/lean4:stable
使い方
$ elan -v
$ elan show
メモ
leanmake
leanproject
leanpkg
lean 4エラーメモ
既存のLeanプロジェクトの使い方 - Leanのインストール方法・elanとLakeの使い方
関連
lake
#lean
#anyenv