OAI/Computability/DepthThree/TapeHashRow.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.DepthThreeLowerBound.TapeHashRow.RunState line 10
  2. abbrev OAI.DepthThreeLowerBound.TapeHashRow.ClearState line 11
  3. abbrev OAI.DepthThreeLowerBound.TapeHashRow.State line 12
  4. def OAI.DepthThreeLowerBound.TapeHashRow.runProgram line 14
  5. def OAI.DepthThreeLowerBound.TapeHashRow.clearProgram line 18
  6. def OAI.DepthThreeLowerBound.TapeHashRow.program line 21
  7. def OAI.DepthThreeLowerBound.TapeHashRow.start line 24
  8. def OAI.DepthThreeLowerBound.TapeHashRow.done line 25
  9. def OAI.DepthThreeLowerBound.TapeHashRow.resultStore line 27
  10. theorem OAI.DepthThreeLowerBound.TapeHashRow.runs_row line 31
  11. theorem OAI.DepthThreeLowerBound.TapeHashRow.program_done line 88