asouther4 / lean-social-choice

A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

asouther4/lean-social-choice Stargazers