A Framework for the Verified Construction of Fair Voting Rules
Primary LanguageIsabelle
No issues in this repository yet.