GitHub repository: thsutton/platypus
Created: 2015-12-15T10:07:37Z
Description: Code written for the PLATYPUS type theory study group.