Natural Number Game

图片来源：leanprover-community/NNG4 仓库（外链展示，版权归原作者所有）。