It's a game implemented in lean, where you work your way through the basic facts about natural numbers.