OAI/Computability/BinPacking/Search/ExtensionMachineSpace.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.BinPackingGap.ExtensionMachineSpace.lengthSum line 9
2. theorem OAI.BinPackingGap.ExtensionMachineSpace.execution_stackLength line 13
3. theorem OAI.BinPackingGap.ExtensionMachineSpace.execution_lengthSum line 20
4. theorem OAI.BinPackingGap.ExtensionMachineSpace.execution_uniformStackLength line 33
5. theorem OAI.BinPackingGap.ExtensionMachineSpace.lengthSum_le_uniform line 41
6. theorem OAI.BinPackingGap.ExtensionMachineSpace.lengthSum_eq_cleanup line 52