OAI/Computability/DepthThree/TapeHornerPrepare.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.DepthThreeLowerBound.TapeHornerPrepare.Clean line 11
  2. abbrev OAI.DepthThreeLowerBound.TapeHornerPrepare.ZeroState line 19
  3. abbrev OAI.DepthThreeLowerBound.TapeHornerPrepare.CountState line 20
  4. abbrev OAI.DepthThreeLowerBound.TapeHornerPrepare.CursorState line 21
  5. abbrev OAI.DepthThreeLowerBound.TapeHornerPrepare.State line 22
  6. def OAI.DepthThreeLowerBound.TapeHornerPrepare.zeroProgram line 24
  7. def OAI.DepthThreeLowerBound.TapeHornerPrepare.countProgram line 28
  8. def OAI.DepthThreeLowerBound.TapeHornerPrepare.cursorProgram line 31
  9. def OAI.DepthThreeLowerBound.TapeHornerPrepare.program line 34
  10. def OAI.DepthThreeLowerBound.TapeHornerPrepare.start line 38
  11. def OAI.DepthThreeLowerBound.TapeHornerPrepare.done line 39
  12. def OAI.DepthThreeLowerBound.TapeHornerPrepare.cost line 41
  13. theorem OAI.DepthThreeLowerBound.TapeHornerPrepare.program_done line 43
  14. theorem OAI.DepthThreeLowerBound.TapeHornerPrepare.runs_zero line 45
  15. theorem OAI.DepthThreeLowerBound.TapeHornerPrepare.runs_prepare line 67