T2A

How to use tstp2agda

Getters

getSubGoals

getRefutes

getAxioms

getConjeture

Agda translation

printPreamble

printAuxSignatures

printSubGoals

printProofBody

printProofWhere

buildProofMap

buildProofTree

TSTP parsing

parseFile