logical-framework
There are 1 repository under logical-framework topic.
- Language:OCaml 357
HarrisonGrodin / agda-calf
A cost-aware logical framework, embedded in Agda.
Language:Agda 67jaycech3n / Isabelle-Spartan
A dependent type theory logic for Isabelle
Language:Standard ML 6- Language:Prolog 4
Mk9207 / -Constructive-Hypercontext-Logic-Framework
This patent proposes a logic framework that enables contextual reasoning beyond fixed frames, integrating adaptive layers of interpretation for highly dynamic systems and meta-level AI control. 固定的文脈を超えた推論を可能とする論理枠組であり、高次適応やメタAI制御を支援します。
