The game is very simple: two players take turns adding a number from 1-10 to a shared sum. The first player to make the sum 100 wins.
We analyze the 100 game and its solution. The game-tree directory enumerates the whole game to find the winner, with a visualization that elucidates the strategy. The coq directory formalizes the problem of determining the winner of the game in Coq, and includes a solution.