Login / Signup
Improving automation in interactive theorem provers by efficient encoding of lambda-abstractions.
Lukasz Czajka
Published in:
CPP (2016)
Keyphrases
</>
theorem prover
theorem proving
computer algebra systems
computer algebra
first order logic
automated reasoning
high level
inference rules
metadata
predicate calculus
automated theorem proving