OAI/Computability/DepthThree/TapeRemainderSetup.lean

GitHub source file

22 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.DepthThreeLowerBound.TapeRemainderSetup.preparedStore line 10
  2. def OAI.DepthThreeLowerBound.TapeRemainderSetup.clearIndices line 15
  3. theorem OAI.DepthThreeLowerBound.TapeRemainderSetup.preparedStore_indexB line 18
  4. theorem OAI.DepthThreeLowerBound.TapeRemainderSetup.preparedStore_indexC line 22
  5. theorem OAI.DepthThreeLowerBound.TapeRemainderSetup.preparedStore_loop1 line 26
  6. theorem OAI.DepthThreeLowerBound.TapeRemainderSetup.preparedStore_other line 30
  7. theorem OAI.DepthThreeLowerBound.TapeRemainderSetup.clearIndices_indexA line 35
  8. theorem OAI.DepthThreeLowerBound.TapeRemainderSetup.clearIndices_indexB line 38
  9. theorem OAI.DepthThreeLowerBound.TapeRemainderSetup.clearIndices_indexC line 41
  10. theorem OAI.DepthThreeLowerBound.TapeRemainderSetup.clearIndices_other line 44
  11. abbrev OAI.DepthThreeLowerBound.TapeRemainderSetup.SetupState line 49
  12. def OAI.DepthThreeLowerBound.TapeRemainderSetup.setupProgram line 52
  13. def OAI.DepthThreeLowerBound.TapeRemainderSetup.setupStart line 60
  14. def OAI.DepthThreeLowerBound.TapeRemainderSetup.setupDone line 61
  15. theorem OAI.DepthThreeLowerBound.TapeRemainderSetup.setupProgram_done line 63
  16. theorem OAI.DepthThreeLowerBound.TapeRemainderSetup.runs_setup line 66
  17. abbrev OAI.DepthThreeLowerBound.TapeRemainderSetup.CleanupState line 135
  18. def OAI.DepthThreeLowerBound.TapeRemainderSetup.cleanupProgram line 137
  19. def OAI.DepthThreeLowerBound.TapeRemainderSetup.cleanupStart line 143
  20. def OAI.DepthThreeLowerBound.TapeRemainderSetup.cleanupDone line 144
  21. theorem OAI.DepthThreeLowerBound.TapeRemainderSetup.cleanupProgram_done line 146
  22. theorem OAI.DepthThreeLowerBound.TapeRemainderSetup.runs_cleanup line 149