deduction-system topic

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

leoprover