GitHub repository: tchajed/100game
Primary language: Coq
Created: 2016-10-31T22:24:07Z
Description: Analysis of the 100 game