GETFOL
From MaRDI portal
Software:38038
swMATH26307MaRDI QIDQ38038FDOQ38038
Author name not available (Why is that?)
Cited In (10)
- 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.
- Structured proof procedures
- 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
