Projects in Awesome Lists tagged with logical-framework
A curated list of projects in awesome lists tagged with logical-framework .
https://github.com/Deducteam/lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
dependent-types logical-framework proof-assistant proof-checker proof-translator rewriting
Last synced: 10 Jul 2025
https://github.com/deducteam/lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
dependent-types logical-framework proof-assistant proof-checker proof-translator rewriting
Last synced: 16 May 2025
https://github.com/harrisongrodin/agda-calf
A cost-aware logical framework, embedded in Agda.
agda complexity cost logical-framework modal-type-theory
Last synced: 07 Jan 2026
https://github.com/jonsterling/agda-calf
A cost-aware logical framework, embedded in Agda.
agda complexity cost logical-framework modal-type-theory
Last synced: 30 Mar 2025
