数学の定理証明ゲーム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様