GitHub repository: meta-logic/lltp
Primary language: OpenEdge ABL
Created: 2017-03-23T11:54:14Z
Description: TPTP linear logic version