Merge pull request #91 from wesholliday/main

Cross-listed Participation as a strategic axiom
voting-tools · Apr 28, 2024 · 5bca1b7 · 5bca1b7
2 parents a60a82e + 4e407ca
commit 5bca1b7
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/docs/source/strategic_axioms.md b/docs/source/strategic_axioms.md
@@ -10,4 +10,14 @@ Strategic Axioms
 
 .. autofunction:: pref_voting.strategic_axioms.find_all_strategy_proofness_violations
 
+```
+
+## Participation
+
+```{eval-rst}
+
+.. autofunction:: pref_voting.variable_voter_axioms.has_participation_violation
+
+.. autofunction:: pref_voting.variable_voter_axioms.find_all_participation_violations
+
 ```