Connect++: A New Automated Theorem Prover Based on the Connection Calculus.
Sean B. HoldenPublished in: AReCCa@TABLEAUX (2023)
Keyphrases
- theorem prover
- automated theorem proving
- computer algebra
- automated deduction
- term rewriting
- natural deduction
- proof search
- timed automata
- theorem proving
- inference rules
- automated reasoning
- first order logic
- proof procedure
- formal proof
- formal semantics
- semi automated
- sequent calculus
- mathematical knowledge
- proof planning
- higher order logic
- boolean algebra
- higher order
- computer algebra systems