Deducteam/ekstrakto

Extract TPTP problems from a TSTP trace and reconstruct the proof in lambdapi (λΠ-calculus modulo theory).

语言：OCaml · GitHub 星标：5 · Fork：4

在 GitHub 上查看原仓库