GitHub repository: uonline/spec
Created: 2016-04-03T13:55:47Z
Description: Formal game specs.