zenon-modulo

There are 0 repository under zenon-modulo topic.

• 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