proof-translator

There are 0 repository under proof-translator topic.

• Deducteam / lambdapi

  Proof assistant based on the λΠ-calculus modulo rewriting

  proof-checkerproof-assistantrewritingdependent-typeslogical-frameworkproof-translator
  Language:OCaml 263