eprover

There are 0 repository under eprover topic.

• aztek / tptp

  Parser and pretty printer for the TPTP language

  haskellhaskell-librarytptptheorem-provingparsingparsing-librarypretty-printlogicvampireeproverautomated-theorem-provers
  Language:Haskell 7

• jonaprieto / online-atps

  Run ATPs from SystemOnTPTP

  atptptpvampiretheoremeprovermetis
  Language:Haskell 6