Login / Signup
Extending a brainiac prover to lambda-free higher-order logic.
Petar Vukmirovic
Jasmin Blanchette
Simon Cruanes
Stephan Schulz
Published in:
Int. J. Softw. Tools Technol. Transf. (2022)
Keyphrases
</>
higher order logic
theorem prover
higher order
theorem proving
automated theorem proving
first order logic
automated reasoning
inference rules
logical framework
conditional logic
sufficient conditions
fixed point
random variables