3 ms·
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?
by nerpderp82 4y ago
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?