LeoPARD

swMATH13554MaRDI QIDQ25468FDOQ25468

Author name not available (Why is that?)

Described by source

• LeoPARD — A Generic Platform for the Implementation of Higher-Order Reasoners

Cited In (7)

• Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
• There Is No Best $$\beta $$ -Normalization Strategy for Higher-Order Reasoners
• Agent-Based HOL Reasoning
• Extensional higher-order paramodulation in Leo-III
• Monte Carlo tableau proof search
• The higher-order prover Leo-III
• Automating Free Logic in Isabelle/HOL

This page was built for software: LeoPARD