/verifiedVotingRuleConstruction

A Framework for the Verified Construction of Fair Voting Rules

Primary LanguageIsabelle

No issues in this repository yet.