☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (4)
Dependencies (9)
Apportionmentlib
0.3.0
Formal verification of apportionment theory.
#math
#social choice theory
Displaying
1-4
of
4
versions of
Apportionmentlib
Sort by
Date
0.3
Version track: 0.3
0.3.0
v0.3.0
11 days ago
Released on December 15, 2025 at 6:34:31PM
Commit 08e4fb2 builds on its recent leanprover/lean4:v4.26.0
v4.26.0
325.4 KB
Build archive size: 325431 bytes.
0.3
Version track: 0.3
0.3.0
v0.3.0
11 days ago
Released on December 15, 2025 at 6:34:31PM
Commit 08e4fb2 builds on its recent leanprover/lean4:v4.26.0
v4.26.0
325.4 KB
Build archive size: 325431 bytes.
0.2
Version track: 0.2
0.2.0
v0.2.0
a month ago
Released on November 24, 2025 at 1:44:05PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.25.1
0.1
Version track: 0.1
0.1.0
v0.1.0
2 months 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
1
20