Skip to content
Analysis of the 100 game
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Type Name Latest commit message Commit time
Failed to load latest commit information.

100 game

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.

You can’t perform that action at this time.