Adding to leanprover-contrib

Stream: general

[Andrew Souther]

About a month ago, I announced that we finished a formalization of Arrow's Impossibility Theorem. I'd like to add my repository to the leanprover-contrib Lean Projects page.

Do I need any special permissions to open a PR?

[Bryan Gin-ge Chen]

Nope, you should be able to just open a PR that edits projects.yml following the instructions here: https://github.com/leanprover-contrib/leanprover-contrib

[Andrew Souther]

Just opened a PR, thank you! I believe I've set up everything right on my repository end.