leanを用いて自然数に関する公理を証明するゲーム ウェブサイト: Natural Number Game 以下の動画で知った: ゆかりんと茜ちゃんの証明ゲームLeanプレイ講座 #1【定理証明支援系】 - YouTube