#

logical-framework

Here are 4 public repositories matching this topic...

Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting

dependent-types proof-assistant rewriting proof-checker logical-framework proof-translator

Updated Nov 11, 2024
OCaml

jonsterling / agda-calf

A cost-aware logical framework, embedded in Agda.

cost complexity agda logical-framework modal-type-theory

Updated Aug 13, 2024
Agda

jaycech3n / Isabelle-Spartan

A dependent type theory logic for Isabelle

dependent-types proof-assistant type-theory isabelle interactive-theorem-proving logical-framework dependent-type-theory

Updated Feb 8, 2021
Standard ML

amka66 / horc

horc: Lightweight HORn-Clause Interpreter

logic-programming expert-system horn-clauses proof-search logical-framework foundations-of-mathematics

Updated Sep 11, 2024
Prolog

Improve this page

Add a description, image, and links to the logical-framework topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the logical-framework topic, visit your repo's landing page and select "manage topics."