Repositories list

• verifiedVotingRuleConstruction

  Public
  A Framework for the Verified Construction of Fair Voting Rules

  Isabelle

  •8•3•0•1•Updated Aug 19, 2024Aug 19, 2024

• beast

  Public
  BEAST aims to make the verification of voting rules easier

  beastcbmc

  Java

  •

  MIT License

  •2•6•4•1•Updated Nov 14, 2023Nov 14, 2023

• ViRAGe

  Public
  TeX

  •

  MIT License

  •1•2•0•0•Updated Sep 25, 2023Sep 25, 2023

• polyas-core3-open-cred

  Public
  Java

  •0•0•0•0•Updated Feb 8, 2023Feb 8, 2023