Leo-III
From MaRDI portal
Software:30355
swMATH18516MaRDI QIDQ30355FDOQ30355
Author name not available (Why is that?)
Cited In (19)
- Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
- Restricted combinatory unification
- Superposition with lambdas
- Lash 1.0 (system description)
- Local reductions for the modal cube
- Agent-Based HOL Reasoning
- Extensional higher-order paramodulation in Leo-III
- LeoPARD — A Generic Platform for the Implementation of Higher-Order Reasoners
- Title not available (Why is that?)
- GRUNGE: a grand unified ATP challenge
- Theorema 2.0: Computer-Assisted Natural-Style Mathematics
- Superposition for \(\lambda\)-free higher-order logic
- Effective Normalization Techniques for HOL
- The CADE-26 automated theorem proving system competition – CASC-26
- Practical Proof Search for Coq by Type Inhabitation
- Local is best: efficient reductions to modal logic \textsf{K}
- Automating free logic in HOL, with an experimental application in category theory
- Functions-as-constructors Higher-order Unification
This page was built for software: Leo-III
