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