GitHub repository: skbaek/tesc
Primary language: Prolog
Created: 2020-05-08T07:42:55Z
Description: TESC proof format for first-order ATPs