The Grail theorem prover: Type theory for syntax and semantics.
Richard MootPublished in: CoRR (2016)
Keyphrases
- theorem prover
- computer algebra
- boolean algebra
- theorem proving
- automated reasoning
- first order logic
- automated theorem proving
- inference rules
- formal proof
- term rewriting
- higher order logic
- automated deduction
- natural deduction
- theoretical framework
- mathematical knowledge
- higher order
- proof planning
- probabilistic model
- feature selection