Leanのインストール方法
以下の各OSについてインストール手順を紹介します。
インストール不要のオンラインバージョン、Lean 4 Webもあります。
また、GitpodやGitHub codespacesを使うことで、インストールすることなくクラウド上でLeanを使ってみることもできます。例えば、GitPod上で練習問題を解きながら、テキストMathematics in Leanを読むことができます。Gitpodを使うには、GitHubかGitLabにログインする必要があることに注意してください。
インストールに行き詰まった場合は、Lean - Zulip Chat (英語)またはlean-ja Discussions (日本語)で助けを求めることを検討してください。
参考資料
- Get started with Lean - Lean Community : 翻訳元、公式。
- プログラミング言語Lean 4の現状 - 檜山正幸のキマイラ飼育記 (はてなBlog) : 檜山正幸さんによるLean 4まとめ記事です。
curlによるelan・Leanのインストール方法のほか、Leanプロジェクト・パッケージについても詳説されています。 - 関数型言語”兼”定理証明支援系Leanの環境構築 - Zenn : denjiryさんによるLeanの環境構築記事です。
curlによるelan・Leanのインストール方法、elanとLakeの紹介のほか、エディタとしてEmacsを使う際の設定方法が紹介されています。