c-cube/tstp-proof-checker

[old] a simple OCaml proof-checker for TSTP cnf/fof derivations. It calls external provers to check every proof step.

语言：OCaml · GitHub 星标：0 · Fork：0

在 GitHub 上查看原仓库