swMATH26307MaRDI QIDQ38038FDOQ38038
Author name not available (Why is that?)
Official website: https://github.com/getfol/GETFOL
Cited In (14)
- Mechanizing multi-agent reasoning with belief contexts
- Partition-based logical reasoning for first-order and propositional theories
- ABSFOL: A proof checker with abstraction
- Multilanguage hierarchical logics, or: How we can do without modal logics
- Embedding complex decision procedures inside an interactive theorem prover.
- BREAKUP
- Structured proof procedures
- SPTHEO
- ABSFOL
- Cambridge LCF
- A metatheory of a mechanized object theory
- A theory of abstraction
- Program tactics and logic tactics
- Logic-based subsumption architecture
This page was built for software: GETFOL
