Verified Construction of Fair Voting Rules

A Framework for the Verified Construction of Fair Voting Rules

Name		Name	Last commit message	Last commit date
Latest commit History 94 Commits
theories		theories
README.md		README.md
document.pdf		document.pdf

Provide feedback