tchajed/100game
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
Analysis of the 100 game
9 commits 1 branch 0 tags 41 KiB
  • Rocq Prover 65.7%
  • Python 32.7%
  • Makefile 1.6%
Find a file
Exact
Tej Chajed b57730ec86
 Record Python dependency
2018-05-17 11:16:55 -04:00
coq Add comments explaining the solution 2016-11-07 14:34:14 -05:00
game-tree Record Python dependency 2018-05-17 11:16:55 -04:00
README.md Add basic READMEs 2016-10-31 18:27:00 -04:00

README.md

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.