Voting Theory in the Lean Theorem Prover.
Wesley H. HollidayChase NormanEric PacuitPublished in: CoRR (2021)
Keyphrases
- theorem prover
- computer algebra
- boolean algebra
- theorem proving
- automated reasoning
- automated theorem proving
- term rewriting
- first order logic
- inference rules
- higher order logic
- automated deduction
- formal proof
- data mining
- proof search
- natural deduction
- predicate calculus
- theoretical framework
- mathematical knowledge
- timed automata
- social choice
- feature vectors
- feature selection