Name		Name	Last commit message	Last commit date
theories		theories
README.md		README.md
document.pdf		document.pdf

Repository files navigation

Verified Construction of Fair Voting Rules

A Framework for the Verified Construction of Fair Voting Rules

About

Small adaptations to ensure compatibility with refinement

1 star

0 watching

Report repository

Releases

Packages

Contributors

Languages