OAI/Computability/VertexCover/Machines/ExpanderStep.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.VertexCover.Machine.ExpandMachine.Input line 46
  2. abbrev OAI.VertexCover.Machine.ExpandMachine.Data line 47
  3. def OAI.VertexCover.Machine.ExpandMachine.dataCode line 48
  4. def OAI.VertexCover.Machine.ExpandMachine.erase line 49
  5. def OAI.VertexCover.Machine.ExpandMachine.code line 50
  6. def OAI.VertexCover.Machine.ExpandMachine.lookup line 52
  7. def OAI.VertexCover.Machine.ExpandMachine.lookupPoly line 56
  8. theorem OAI.VertexCover.Machine.ExpandMachine.lookup_erase line 70
  9. def OAI.VertexCover.Machine.ExpandMachine.stepRow line 79
  10. def OAI.VertexCover.Machine.ExpandMachine.stepData line 90
  11. def OAI.VertexCover.Machine.ExpandMachine.stepRowPoly line 94
  12. def OAI.VertexCover.Machine.ExpandMachine.stepDataPoly line 124