OAI/Computability/DepthThree/TapeCancelRow.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.DepthThreeLowerBound.TapeCancelRow.State line 11
  2. def OAI.DepthThreeLowerBound.TapeCancelRow.program line 13
  3. def OAI.DepthThreeLowerBound.TapeCancelRow.start line 17
  4. def OAI.DepthThreeLowerBound.TapeCancelRow.done line 18
  5. def OAI.DepthThreeLowerBound.TapeCancelRow.frame line 20
  6. theorem OAI.DepthThreeLowerBound.TapeCancelRow.frame_counter line 26
  7. theorem OAI.DepthThreeLowerBound.TapeCancelRow.frame_indexA line 28
  8. theorem OAI.DepthThreeLowerBound.TapeCancelRow.frame_indexC line 30
  9. theorem OAI.DepthThreeLowerBound.TapeCancelRow.frame_output line 33
  10. theorem OAI.DepthThreeLowerBound.TapeCancelRow.update_counter line 37
  11. theorem OAI.DepthThreeLowerBound.TapeCancelRow.resultStore_frame line 46
  12. theorem OAI.DepthThreeLowerBound.TapeCancelRow.runs_row line 61
  13. theorem OAI.DepthThreeLowerBound.TapeCancelRow.program_done line 107