Yoshiya@kt3k・Mar 13, 2025, 3:08 PMLean 4 公式の install 方法が VSCode 経由なのか https://lean-lang.org/lean4/doc/quickstart.html