Ritinkar Das Bhaumik/Social Choice Theory

Stream: new members

[Ritinkar Das Bhaumik]

Hello everyone. I'm a PhD scholar in economics and I was going to get started on reworking the social choice repo by updating it to lean 4, extending it etc. Wondering if anyone else has been working on the same, since it hasn't been updated in over 4 years.

Also, if there are others interested in game theory and decision theory, do let me know! :slight_smile:

[Shreyas Srinivas]

I am working on and off on fair division theory

[Shreyas Srinivas]

There is also a group in Malaysia, also from an econ department who are working on auctions

[Shreyas Srinivas]

They made a mathlib PR which is currently not being pushed forward. You might find the authors there

[Michael Rothgang]

That PR was #13248