`OAI/Computability/BinPacking/Results/`

19 declarations, 0 contain sorry, 0 declared as axioms; 6 files

Files

AdditiveHardness.lean 2 declarations
Aggregate.lean 2 imports, no declarations
AlgorithmEquivalence.lean 1 declarations
OptimalSearch.lean 9 declarations
PackingHardness.lean 2 declarations
StructuralGap.lean 5 declarations