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