GitHub repository: uqbar-project/projectional-gobstones
Primary language: Java
Created: 2015-07-07T22:21:46Z
Description: Projectional Implementation of the Gobstones language