OAI/Computability/BinPacking/Inventory/
550 declarations, 0 contain sorry, 0 declared as axioms; 13 files
Files
- CurrentMatches.lean 89 declarations
- EdgeLongConsumption.lean 31 declarations
- IntegralSpeciesCounts.lean 44 declarations
- InventoryCoverage.lean 37 declarations
- InventoryPrefixConservation.lean 72 declarations
- InventoryScores.lean 130 declarations
- LabelConservation.lean 21 declarations
- LocalCompletionCoverage.lean 49 declarations
- PackingConstantPool.lean 7 declarations
- PackingExclusions.lean 22 declarations
- PackingInventoryDescriptors.lean 26 declarations
- PhysicalPoolLift.lean 19 declarations
- SpeciesAllocation.lean 3 declarations