OAI/Computability/VertexCover/Machines/NatWalk.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.VertexCover.Machine.NatWalkMachine.State line 43
  2. def OAI.VertexCover.Machine.NatWalkMachine.code line 44
  3. def OAI.VertexCover.Machine.NatWalkMachine.step line 46
  4. def OAI.VertexCover.Machine.NatWalkMachine.stepPoly line 48
  5. def OAI.VertexCover.Machine.NatWalkMachine.word line 56
  6. def OAI.VertexCover.Machine.NatWalkMachine.wordPoly line 59
  7. def OAI.VertexCover.Machine.NatWalkMachine.edge line 63
  8. def OAI.VertexCover.Machine.NatWalkMachine.edgePoly line 66
  9. def OAI.VertexCover.Machine.NatWalkMachine.stepVariablePoly line 73
  10. def OAI.VertexCover.Machine.NatWalkMachine.forget line 78
  11. theorem OAI.VertexCover.Machine.NatWalkMachine.step_forget line 79
  12. theorem OAI.VertexCover.Machine.NatWalkMachine.word_forget line 84
  13. theorem OAI.VertexCover.Machine.NatWalkMachine.edge_forget line 90
  14. def OAI.VertexCover.Machine.NatWalkMachine.accepts line 102
  15. def OAI.VertexCover.Machine.NatWalkMachine.acceptsPoly line 104
  16. def OAI.VertexCover.Machine.NatWalkMachine.acceptsVariablePoly line 118
  17. theorem OAI.VertexCover.Machine.NatWalkMachine.accepts_forget line 126