gwexploratoryaudits/r2b2

Round-by-Round and Ballot-by-Ballot election audits: a workbench for exploration of risk-limiting audits, including Minerva and other Athena-class audits