HOModel

Reduction

Majorities

OneThirdRuleDefs

OneThirdRuleProof

UvDefs

UvProof

LastVotingDefs

LastVotingProof

UteDefs

UteProof

AteDefs

AteProof

EigbyzDefs

EigbyzProof