#
lambdapi
Here are 2 public repositories matching this topic...
Extract TPTP problems from a TSTP trace and reconstruct the proof in lambdapi (λΠ-calculus modulo theory).
ocaml
tptp
vampire
automated-theorem-provers
dedukti
tstp
lambdapi
zenon-modulo
e-prover
zipperposition
-
Updated
Jul 6, 2021 - OCaml
Improve this page
Add a description, image, and links to the lambdapi topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the lambdapi topic, visit your repo's landing page and select "manage topics."