leoprover/tptp-utils

Library for TPTP-related utility services

语言：Scala · GitHub 星标：4 · Fork：0

话题：automated-reasoning · linter · logic · parser · predicate-logic · preprocessor · theorem-prover · theorem-proving

在 GitHub 上查看原仓库