Some Coq formalization for https://en.wikipedia.org/wiki/Weak_ordering#Strict_weak_orderings, plus equivalence with preference orderings as they are defined in Gibbard's theorem.
mcoulont/WeakOrdering
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Some Coq formalization for https://en.wikipedia.org/wiki/Weak_ordering#Strict_weak_orderings, plus equivalence with preference orderings as they are defined in Gibbard's theorem.