Lean 4 公式の install 方法が VSCode 経由なのか https://lean-lang.org/lean4/doc/quickstart.html