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 2

  2. verifiedVotingRuleConstruction verifiedVotingRuleConstruction Public

    A Framework for the Verified Construction of Fair Voting Rules

    Isabelle 3 8

  3. ViRAGe ViRAGe Public

    TeX 2 1

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

    Java

Repositories

Showing 4 of 4 repositories
  • verifiedVotingRuleConstruction Public

    A Framework for the Verified Construction of Fair Voting Rules

    VeriVote/verifiedVotingRuleConstruction’s past year of commit activity
    Isabelle 3 8 0 0 Updated Dec 12, 2024
  • beast Public

    BEAST aims to make the verification of voting rules easier

    VeriVote/beast’s past year of commit activity
    Java 6 MIT 2 4 1 Updated Nov 14, 2023
  • ViRAGe Public
    VeriVote/ViRAGe’s past year of commit activity
    TeX 2 MIT 1 0 0 Updated Sep 25, 2023
  • polyas-core3-open-cred Public
    VeriVote/polyas-core3-open-cred’s past year of commit activity
    Java 0 0 0 0 Updated Feb 8, 2023

Top languages

Loading…

Most used topics

Loading…