「Lean」の版間の差分
ナビゲーションに移動
検索に移動
(ページの作成:「https://lean-lang.org/」) |
編集の要約なし |
||
| 1行目: | 1行目: | ||
https://lean-lang.org/ | https://lean-lang.org/ | ||
== インストール == | |||
https://lean-lang.org/install/ | |||
# VSCode の拡張機能「Lean 4」をインストールする | |||
# 適当にファイルを開き、右上のメニューから Lean 4 > New Project... を選択する | |||
# プロジェクトが作られる。必要に応じて色々インストールされる。 | |||
2026年3月16日 (月) 23:00時点における版
インストール
https://lean-lang.org/install/
- VSCode の拡張機能「Lean 4」をインストールする
- 適当にファイルを開き、右上のメニューから Lean 4 > New Project... を選択する
- プロジェクトが作られる。必要に応じて色々インストールされる。