Login / Signup
The Naproche-ZF Theorem Prover (Short Paper).
Adrian De Lon
Published in:
IJCAR (1) (2024)
Keyphrases
</>
theorem prover
first order logic
theorem proving
automated reasoning
automated theorem proving
inference rules
automated deduction
term rewriting
higher order logic
computer algebra
formal proof
proof search
timed automata
higher order
natural deduction
probabilistic model