定理証明支援系Lean 4導入手順【VOICEROID解説】

"定理証明支援系Lean 4導入手順【VOICEROID解説】" の動画はこちら

この動画をTwitterで共有！

外部プレーヤー埋め込みタグ

"定理証明支援系Lean 4導入手順【VOICEROID解説】"のニコニコ動画詳細情報

定理証明支援系Leanの最新版（Lean 4）のインストール手順を説明した動画です。流れ：VS Codeをインストールして、その拡張機能からlean 4をインストールすれば（ほぼ）終わり！過去のLean解説動画：ゆかりんと茜ちゃんの証明ゲームLeanプレイ講座 #1【定理証明支援系】sm40432561Lean公式サイト：https://leanprover.github.io/Lean 4 manual：https://leanprover.github.io/lean4/doc/お借りした素材：立ち絵：むにさが様ニコニコ静画im6897805解説枠：blueberry様ニコニ・コモンズnc136884BGM：Sakuttipanda様ニコニ・コモンズ
動画ID：sm42249037
再生時間：7:05
再生回数：再生回数: 回
コメント数：36
マイリスト数：3
最新のコメント：飛んできた rfl 今見てきたけどleanと良いぞー Lean良いよね haskellみたいだったゆかlean ちゃんとプライベートなんなら紙に書いてた
タグ：数学,Lean,定理証明