8000 VeriVote · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@VeriVote

VeriVote

This project aims to make the formal verification, analysis and design of voting rules easier. Voting rules aggregate preferences for collective decisions.

Popular repositories Loading

  1. beast beast Public

    BEAST aims to make the verification of voting rules easier

    Java 6 1

  2. verifiedVotingRuleConstruction verifiedVotingRuleConstruction Public

    A Framework for the Verified Construction of Fair Voting Rules

    Isabelle 3 8

  3. ViRAGe ViRAGe Public

    Isabelle 2 1

  4. polyas-core3-open-cred polyas-core3-open-cred Public

    Java

Repositories

Showing 4 of 4 repositories

Top languages

Loading…

Most used topics

Loading…
0