ゆかりんと茜ちゃんの証明ゲームLeanプレイ講座 #2【定理証明支援系】
- 2022/05/13 18:48:02 投稿
- 再生数：1090
- マイリスト数：2
数学の定理証明ゲームLeanの遊び方を初心者向けに解説していくプレイ動画。第2回は「rw」コマンド・Leanでの自然数や足し算の定義について。Natural Number Gameは↓のURLから。 https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/ アクセスできないときのミラー： https://cbirkbeck.github.io/natural_number_game/ 前回（第1回）： sm40432561 LeanやMathlibについて： https://leanprover-community.github.io/ お借りした素材背景：みんちり様 ニコニ・コモンズ nc227434解説枠：blueberry様 ニコニ・コモンズ nc155894立ち絵：むにさが様 ニコニコ静画 im7050036 im6928060山栗鼠様 ニコニコ静画 im5354179 音楽：魔王魂様、こんとどぅふぇ様、sanche様