Formal RCV
==========

The purpose of this project is to make available formal specifications of
[ranked choice voting][rcv] (RCV) methods, i.e. variants of
[instant runoff voting][irv] (IRV) and the [single transferable vote][stv]
(STV).

The focus will initially be on those methods used in US jurisdictions.  The
project will use [Coq][Coq].  The project will also aim to formalize ways
of auditing RCV elections.


Links to Statutes
-----------------

* San Francisco
  * [SF Charter][sf_charter] (see Article XIII, Sec. 13.102)


License
-------

The project is licensed under a BSD 3-Clause license.  See the
[LICENSE](LICENSE) file for details.


Contributors
------------

* Chris Jerdonek


[Coq]: https://coq.inria.fr/
[irv]: https://en.wikipedia.org/wiki/Instant-runoff_voting
[rcv]: https://en.wikipedia.org/wiki/Ranked_Choice_Voting
[sf_charter]: http://www.amlegal.com/library/ca/sfrancisco.shtml
[stv]: https://en.wikipedia.org/wiki/Single_transferable_vote

Formal RCV
==========

The purpose of this project is to make available formal specifications of
[ranked choice voting][rcv] (RCV) methods, i.e. variants of
[instant runoff voting][irv] (IRV) and the [single transferable vote][stv]
(STV).

The focus will initially be on those methods used in US jurisdictions.  The
project will use [Coq][Coq].  The project will also aim to formalize ways
of auditing RCV elections.


Links to Statutes
-----------------

* Oakland, CA
  * [Oakland Charter][oakland_charter] (See Article XI, Sec. 1105. Ranked
    Choice Voting.)
* San Francisco, CA
  * [SF Charter][sf_charter] (See Article XIII, Sec. 13.102. Instant Runoff
    Elections.)


License
-------

The project is licensed under a BSD 3-Clause license.  See the
[LICENSE](LICENSE) file for details.


Contributors
------------

* Chris Jerdonek


[Coq]: https://coq.inria.fr/
[irv]: https://en.wikipedia.org/wiki/Instant-runoff_voting
[oakland_charter]: https://www.municode.com/library/ca/oakland/codes/code_of_ordinances?nodeId=THCHOA
[rcv]: https://en.wikipedia.org/wiki/Ranked_Choice_Voting
[sf_charter]: http://www.amlegal.com/library/ca/sfrancisco.shtml
[stv]: https://en.wikipedia.org/wiki/Single_transferable_vote

Add link to Oakland charter.
Add link to Oakland charter.
