aztek/tptp

Parser and pretty printer for the TPTP language

语言：Haskell · GitHub 星标：7 · Fork：2

话题：automated-theorem-provers · eprover · haskell · haskell-library · logic · parsing · parsing-library · pretty-print

在 GitHub 上查看原仓库