OAI/Computability/DepthThree/TapeCancelStep.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.DepthThreeLowerBound.TapeCancelStep.ReadState line 10
  2. abbrev OAI.DepthThreeLowerBound.TapeCancelStep.FirstState line 11
  3. abbrev OAI.DepthThreeLowerBound.TapeCancelStep.State line 12
  4. def OAI.DepthThreeLowerBound.TapeCancelStep.readProgram line 14
  5. def OAI.DepthThreeLowerBound.TapeCancelStep.firstProgram line 20
  6. def OAI.DepthThreeLowerBound.TapeCancelStep.program line 23
  7. def OAI.DepthThreeLowerBound.TapeCancelStep.start line 26
  8. def OAI.DepthThreeLowerBound.TapeCancelStep.done line 27
  9. def OAI.DepthThreeLowerBound.TapeCancelStep.resultStore line 29
  10. theorem OAI.DepthThreeLowerBound.TapeCancelStep.runs_step line 33
  11. theorem OAI.DepthThreeLowerBound.TapeCancelStep.program_done line 72