Zulip Chat Archive
Stream: new members
Topic: Apportionment theory
Michał Dobranowski (Oct 13 2025 at 17:51):
Hi, I've recently started formalizing apportionment theory in Lean and am looking for some feedback :)
https://github.com/mdbrnowski/apportionmentlib
Last updated: Dec 20 2025 at 21:32 UTC