Twee: An Equational Theorem Prover.

Nicholas Smallbone

Published in: CADE (2021)

Keyphrases

theorem prover
theorem proving
automated reasoning
inference rules
first order logic
automated deduction
term rewriting
automated theorem proving
computer algebra
higher order logic
formal semantics
boolean algebra
formal proof
natural deduction
timed automata
proof search
proof planning
machine learning