asouther4 / lean-social-choice

A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
22Updated 3 years ago

Alternatives and similar repositories for lean-social-choice:

Users that are interested in lean-social-choice are comparing it to the libraries listed below