`OAI/Computability/BinPacking/Configurations/`

86 declarations, 0 contain sorry, 0 declared as axioms; 5 files

Files

ConfigurationLP.lean 59 declarations
CoverageSoundness.lean 5 declarations
K4Soundness.lean 6 declarations
ReductionCompleteness.lean 9 declarations
ReductionFractional.lean 7 declarations