OAI/Computability/MinUncut/Machines/ArenaMachineProgram.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MinUncut.Costed.Arena.keepTick line 9
  2. def OAI.MinUncut.Costed.Arena.keepTickProgram line 10
  3. lemma OAI.MinUncut.Costed.Arena.keepTick_safe line 13
  4. lemma OAI.MinUncut.Costed.Arena.keepTick_iter line 26
  5. def OAI.MinUncut.Costed.Arena.control line 33
  6. def OAI.MinUncut.Costed.Arena.controlProgram line 34
  7. lemma OAI.MinUncut.Costed.Arena.outputStep_safe line 38
  8. def OAI.MinUncut.Costed.Arena.outputLoopProgram line 56
  9. def OAI.MinUncut.Costed.Arena.prepareOutput line 59
  10. def OAI.MinUncut.Costed.Arena.prepareOutputProgram line 61
  11. def OAI.MinUncut.Costed.Arena.universalRaw line 65
  12. def OAI.MinUncut.Costed.Arena.universalProgram line 69
  13. lemma OAI.MinUncut.Costed.Arena.universalRaw_spec line 72