GitHub topics: logical-framework
Deducteam/lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
Language: OCaml - Size: 38.9 MB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 334 - Forks: 36
HarrisonGrodin/agda-calf
A cost-aware logical framework, embedded in Agda.
Language: Agda - Size: 10.4 MB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 61 - Forks: 4
amka66/horc
horc: Lightweight HORn-Clause Interpreter
Language: Prolog - Size: 124 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 4 - Forks: 0
jaycech3n/Isabelle-Spartan 📦
A dependent type theory logic for Isabelle
Language: Standard ML - Size: 361 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 6 - Forks: 1
