lambdapi

There are 0 repository under lambdapi topic.

• elhaddadyacine / ekstrakto

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

  automated-theorem-proversdeduktie-proverlambdapiocamltptptstpvampirezenon-modulozipperposition
  Language:OCaml 2