logical-framework

There are 0 repository under logical-framework topic.

• Deducteam / lambdapi

  Proof assistant based on the λΠ-calculus modulo rewriting

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

• jonsterling / agda-calf

  A cost-aware logical framework, embedded in Agda.

  logical-frameworkagdacostcomplexitymodal-type-theory
  Language:Agda 51

• jaycech3n / Isabelle-Spartan

  A dependent type theory logic for Isabelle

  dependent-type-theorydependent-typesinteractive-theorem-provingisabellelogical-frameworkproof-assistanttype-theory
  Language:Standard ML 6

• amka66 / horc

  horc: lightweight HORn-Clause interpreter

  horn-clauseslogic-programmingproof-searchexpert-systemlogical-frameworkfoundations-of-mathematics
  Language:Prolog 3