TY  - RPRT
TI  - Voting Theory in the Lean Theorem Prover
AU  - Wesley H. Holliday
AU  - Chase Norman
AU  - Eric Pacuit
PY  - 2021
UR  - https://arxiv.org/abs/2110.08453
ID  - 2110.08453
ER  -