OAI/Computability/BinPacking/Machines/MachineControlEmbedding.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.BinPackingGap.MachineControlEmbedding.Control line 10
  2. def OAI.BinPackingGap.MachineControlEmbedding.Control.left line 17
  3. def OAI.BinPackingGap.MachineControlEmbedding.Control.right line 22
  4. def OAI.BinPackingGap.MachineControlEmbedding.Control.trans line 27
  5. def OAI.BinPackingGap.MachineControlEmbedding.statement line 36
  6. def OAI.BinPackingGap.MachineControlEmbedding.configuration line 53
  7. theorem OAI.BinPackingGap.MachineControlEmbedding.statement_pushBound line 57
  8. theorem OAI.BinPackingGap.MachineControlEmbedding.stepAux_simulation line 66
  9. theorem OAI.BinPackingGap.MachineControlEmbedding.step_simulation line 95
  10. theorem OAI.BinPackingGap.MachineControlEmbedding.trace line 112
  11. def OAI.BinPackingGap.MachineControlEmbedding.execution line 124