	Failed to load latest commit information.
	game-engine	Fix incorrect axiom that undermines game soundness	Dec 30, 2017
	game-play	Minor fixes + add example game-play	Dec 28, 2017
	.gitignore	Implement most of the game engine	Dec 27, 2017
	README.md	Document; simplify lemmas	Dec 29, 2017