Lean

提供：ペチラボ書庫
2026年3月16日 (月) 23:00時点におけるPtt (トーク | 投稿記録)による版
ナビゲーションに移動 検索に移動

https://lean-lang.org/

インストール

https://lean-lang.org/install/

  1. VSCode の拡張機能「Lean 4」をインストールする
  2. 適当にファイルを開き、右上のメニューから Lean 4 > New Project... を選択する
  3. プロジェクトが作られる。必要に応じて色々インストールされる。
「http://wiki.ptt-lab.com/index.php?title=Lean&oldid=608」から取得