OAI/Computability/DepthThree/TapeOutput.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.DepthThreeLowerBound.TapeOutput.State line 10
  2. def OAI.DepthThreeLowerBound.TapeOutput.haltProgram line 12
  3. def OAI.DepthThreeLowerBound.TapeOutput.acceptFlag line 14
  4. def OAI.DepthThreeLowerBound.TapeOutput.program line 18
  5. def OAI.DepthThreeLowerBound.TapeOutput.start line 22
  6. def OAI.DepthThreeLowerBound.TapeOutput.done line 23
  7. theorem OAI.DepthThreeLowerBound.TapeOutput.program_done line 25
  8. theorem OAI.DepthThreeLowerBound.TapeOutput.runs_output line 28