Скачать
ゆかりんと茜ちゃんの証明ゲームLeanプレイ講座 #1【定理証明支援系】
Автор: ぐにらち
Загружено: 2022-05-06
Просмотров: 6948
Описание:
数学の定理証明ゲームLeanの遊び方を初心者向けに解説していくプレイ動画。
第1回はLeanやNatural Number Gameの解説、「refl」コマンドについて。
Natural Number Gameは↓のURLから。
https://www.ma.imperial.ac.uk/~buzzar...
アクセスできないときのミラー：
https://cbirkbeck.github.io/natural_n...
LeanやMathlibについて：
https://leanprover-community.github.io/
お借りした素材
背景：みんちり様 ニコニ・コモンズ nc227434
解説枠：blueberry様 ニコニ・コモンズ nc155894
立ち絵：
むにさが様 ニコニコ静画 im7050036 im6928060
山栗鼠様 ニコニコ静画 im5354179
音楽：sanche様、Sakuttipanda様
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
