Deducteam / ekstrakto

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

Deducteam/ekstrakto Stargazers