The following pages link to LeoPARD (Q25468):
Displaying 7 items.
- The higher-order prover Leo-III (Q1799072) (← links)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
- Monte Carlo tableau proof search (Q2405274) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- Automating Free Logic in Isabelle/HOL (Q2819197) (← links)
- Agent-Based HOL Reasoning (Q2819202) (← links)
- There Is No Best $$\beta $$ -Normalization Strategy for Higher-Order Reasoners (Q3460064) (← links)