tptp

There are 1 repository under tptp topic.

• Gbury / dolmen

  Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

  parselanguagefunctorsmt-libflexible-parserstptpocamlocaml-libraryatpmodeltheorem-provingtypechecker
  Language:OCaml 75

• sneeuwballen / benchpress

  Testing and benchmarking tool for logic-related programs.

  test-runnerbenchmark-scriptsocamlweb-uismtlibtptp
  Language:OCaml 25

• aztek / atp

  Haskell interface to automated theorem provers

  haskellatptheorem-provingtptpfirst-order-logiclogicproverformal-methodsautomated-theorem-provers
  Language:Haskell 6

• aztek / tptp

  Parser and pretty printer for the TPTP language

  automated-theorem-proverseproverhaskellhaskell-librarylogicparsingparsing-librarypretty-printtheorem-provingtptpvampire
  Language:Haskell 6

• jonaprieto / online-atps

  Run ATPs from SystemOnTPTP

  atptptpvampiretheoremeprovermetis
  Language:Haskell 6

• aztek / voogie

  A verification conditions generator for Boogie programs

  boogiehaskelltptpvampireverificationverification-conditions
  Language:Haskell 5

• leoprover / scala-tptp-parser

  A parser for the TPTP logic languages for automated theorem proving written in Scala

  tptplogicscalaparserautomated-reasoningartificial-intelligencetheorem-proving
  Language:Scala 5

• elhaddadyacine / ekstrakto

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

  automated-theorem-proverstptptstpdeduktilambdapiocamlzenon-moduloe-provervampirezipperposition
  Language:OCaml 2

• aureleeNet / rio

  A reasoner for Input/Output logic

  input-output-logicnormative-reasoningautomated-deductiontptpautomated-theorem-provingdeontic-logics
  Language:Scala 1

• aztek / tptp2smt

  A translator from TPTP to SMT-LIB

  tptpsmtlibsmt-lib
  Language:Haskell 1

• Brandon-Rozek / TPTP-Examples

  Example axiom and problem files within the TPTP Format

  automated-theorem-provingtptp
  Language:OpenEdge ABL 1

• emptylambda / BLT

  Boogie-less-triggers

  bltboogietriggertptpverification-conditions
  Language:Haskell 1

• jonaprieto / prop-pack

  TPTP problems and TSTP solutions of problems in classical propositional logic.

  tptplogicconjunctionimplicationsnegation
  Language:TeX 1

• leoprover / tptp-utils

  Library for TPTP-related utility services

  tptplogictheorem-proving
  Language:Scala 1

• carmenchui / macleod_py2

  backup of @thahmann's macleod (python2 version) from april 2016 commit

  clifpythonmacleodladrtptpvampirebackup
  Language:Python 0

• TobiasScholl / TPTP_Editor

  logictptp
  Language:JavaScript 0

• lisphacker / cl-tptp-parser

  Parser for TPTP axiom and problem files

  common-lisptptpparser
  Language:Common Lisp

• Mateusz-Grzelinski / TPTP_converter

  TPTP to dimacs converter

  dimacspythontptp
  Language:Python