c-cube/tstp-proof-checker

Name: tstp-proof-checker