Voting Theory in the Lean Theorem Prover.
Wesley H. HollidayChase NormanEric PacuitPublished in: LORI (2021)
Keyphrases
- theorem prover
- computer algebra
- theorem proving
- boolean algebra
- term rewriting
- automated reasoning
- first order logic
- inference rules
- formal proof
- automated theorem proving
- automated deduction
- higher order logic
- mathematical knowledge
- natural language
- proof planning
- natural deduction
- theoretical framework
- proof search
- logic programs