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