[nerpderp82]

Shouldn't there be some Coq or Agda or gasp Rust code that implements all these voting algos that we can agree on and share?