GETFOL
From MaRDI portal
Software:38038
No author found.
Related Items (10)
Embedding complex decision procedures inside an interactive theorem prover. ⋮ Program tactics and logic tactics ⋮ Structured proof procedures ⋮ A metatheory of a mechanized object theory ⋮ Mechanizing multi-agent reasoning with belief contexts ⋮ Partition-based logical reasoning for first-order and propositional theories ⋮ ABSFOL: A proof checker with abstraction ⋮ A theory of abstraction ⋮ Multilanguage hierarchical logics, or: How we can do without modal logics ⋮ Logic-based subsumption architecture
This page was built for software: GETFOL
