Apportionmentlib v0.4.0

Replaced functions and Finsets with Vectors, removing the need for the [Fintype Party] assumption and enabling a meaningful Repr instance for Election. This also simplifies the overall structure and prepares the codebase for efficient computation.

Full Changelog: v0.3.0...v0.4.0

Apportionmentlib v0.3.0

Upgraded Lean to version 4.26.0 and applied several code style and cleanup improvements (including some name changes).

Full Changelog: v0.2.0...v0.3.0

Apportionmentlib v0.2.0

Full Changelog: v0.1.0...v0.2.0

Apportionmentlib v0.1.0

Update description