Wenn Sie wählen, oder das Ergebnis einer Wahl einsehen wollen, geben Sie bitte hier ihren Voter Token ein.
Wenn Sie eine Wahl erstellen oder verwalten möchten, loggen Sie sich bitte als Wahlleiter ein.
Wahlsysteme
Alle Wahlsysteme finden Sie hier.
Downloads
Unsere Wahlsysteme sind mit Dafny formal verifiziert. Um deren Korrektheit zu überprüfen, kann der aktuelle Dafny-Code hier heruntergeladen werden.