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
    23 days ago
    Released on October 25, 2025 at 12:04:49PM
    Commit 8d4bb53 builds on its old leanprover/lean4:v4.24.0
    v4.24.0
    285.7 KB Build archive size: 285688 bytes.
  2. 0.1Version track: 0.1
    0.1.0
    v0.1.0
    a month 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