mi-ki / voting-rule-argumentation

Towards automatic voting rule argumentation by using computer-aided verification such as software bounded model checking.

Geek Repo

Github PK Tool