Extract TPTP problems from a TSTP trace and reconstruct the proof in lambdapi (λΠ-calculus modulo theory).
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool