定理証明支援系Lean 4導入手順【VOICEROID解説】
- 2023/05/21 14:23:02 投稿
- 再生数：507
- マイリスト数：3
定理証明支援系Leanの最新版（Lean 4）のインストール手順を説明した動画です。流れ：VS Codeをインストールして、その拡張機能からlean 4をインストールすれば（ほぼ）終わり！過去のLean解説動画：ゆかりんと茜ちゃんの証明ゲームLeanプレイ講座 #1【定理証明支援系】 sm40432561 Lean公式サイト： https://leanprover.github.io/Lean 4 manual： https://leanprover.github.io/lean4/doc/ お借りした素材：立ち絵：むにさが様 ニコニコ静画 im6897805解説枠：blueberry様 ニコニ・コモンズ nc136884BGM：Sakuttipanda様 ニコニ・コモンズ