OAI/Computability/BinPacking/Packing/PackingAssignments.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.BinPackingGap.PackingAssignments.code line 14
  2. theorem OAI.BinPackingGap.PackingAssignments.exec line 18
  3. def OAI.BinPackingGap.PackingAssignments.copyCommands line 29
  4. theorem OAI.BinPackingGap.PackingAssignments.copy_ready line 32
  5. theorem OAI.BinPackingGap.PackingAssignments.copy_result line 37
  6. def OAI.BinPackingGap.PackingAssignments.copy line 44
  7. theorem OAI.BinPackingGap.PackingAssignments.copy_exec line 48
  8. def OAI.BinPackingGap.PackingAssignments.constantCommands line 59
  9. theorem OAI.BinPackingGap.PackingAssignments.constant_ready line 62
  10. theorem OAI.BinPackingGap.PackingAssignments.constant_result line 67
  11. def OAI.BinPackingGap.PackingAssignments.setConstant line 73
  12. theorem OAI.BinPackingGap.PackingAssignments.constant_exec line 76