OAI/Combinatorics/KServer/
3083 declarations, 0 contain sorry, 0 declared as axioms; 37 files
Files
- Allocation.lean 169 declarations
- AllocationBudget.lean 61 declarations
- AllocationCausality.lean 48 declarations
- AllocationMovement.lean 41 declarations
- AllocationSchedule.lean 88 declarations
- Amplification.lean 93 declarations
- AnchorTravel.lean 56 declarations
- Basic.lean 24 declarations
- Behavior.lean 112 declarations
- Caps.lean 117 declarations
- CausalRounding.lean 67 declarations
- Coarse.lean 125 declarations
- Experiments.lean 52 declarations
- FiniteLaw.lean 24 declarations
- Hierarchy.lean 27 declarations
- JointBudget.lean 47 declarations
- JointExperiment.lean 51 declarations
- JointTravel.lean 56 declarations
- Main.lean 11 declarations
- MetricMatching.lean 63 declarations
- MetricService.lean 22 declarations
- Minimization.lean 58 declarations
- OutputDynamics.lean 76 declarations
- OutputRules.lean 57 declarations
- PartitionBudget.lean 109 declarations
- Partitions.lean 223 declarations
- Potential.lean 187 declarations
- PrefixAllocation.lean 157 declarations
- RankProportions.lean 122 declarations
- Ranks.lean 42 declarations
- RosterEdits.lean 92 declarations
- Rosters.lean 76 declarations
- Rounding.lean 190 declarations
- ScheduleBudget.lean 92 declarations
- Simplex.lean 61 declarations
- Tiers.lean 158 declarations
- Trees.lean 29 declarations