OAI/Computability/BinPacking/Configurations/ReductionFractional.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BinPackingGap.InventoryData.card_template line 17
2. def OAI.BinPackingGap.InventoryData.statePoolTemplates line 23
3. theorem OAI.BinPackingGap.InventoryData.statePoolTemplates_feasible line 69
4. theorem OAI.BinPackingGap.InventoryData.statePoolTemplates_objective line 86
5. theorem OAI.BinPackingGap.InventoryData.ofCompetingTrees_physical_witness line 93
6. theorem OAI.BinPackingGap.InventoryData.ofCompetingTrees_bothLP_eq line 103
7. theorem OAI.BinPackingGap.reduction_bothLP_eq line 121