OAI/Computability/SpaceSimulation/OneTape/Control.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.Fifths.Single.Kit.Controller line 13
  2. theorem OAI.Fifths.Single.Kit.expConst line 21
  3. theorem OAI.Fifths.Single.Kit.parsed line 27
  4. theorem OAI.Fifths.Single.Kit.composeCtrl line 40
  5. theorem OAI.Fifths.Single.Kit.start line 59
  6. theorem OAI.Fifths.Single.Kit.basisStep line 72
  7. theorem OAI.Fifths.Single.Kit.refreshable line 90
  8. theorem OAI.Fifths.Single.Kit.stepCode line 108
  9. theorem OAI.Fifths.Single.Kit.selecting line 129
  10. theorem OAI.Fifths.Single.Kit.sweeping line 133