mdbrnowskiApportionmentlib0.1.0

Formal verification of apportionment theory.
#math #social choice theory
Displaying 1-2 of 2 versions of Apportionmentlib
Sort by
  1. 0.1Version track: 0.1
    0.1.0
    a day ago
    Released on October 25, 2025 at 12:04:49PM
    Commit 8d4bb53 builds on its recent leanprover/lean4:v4.24.0
    v4.24.0
    285.7 KB Build archive size: 285689 bytes.
  2. 0.1Version track: 0.1
    0.1.0
    v0.1.0
    13 days ago
    Released on October 13, 2025 at 3:08:26PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.23.0