OAI/Combinatorics/IndependentSets/Machines/MachineRegularOwnerProgram.lean

GitHub source file

41 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.Tape line 12
  2. abbrev OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.Alphabet line 13
  3. abbrev OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.State line 14
  4. abbrev OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.Data line 15
  5. abbrev OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.CoreState line 16
  6. abbrev OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.MetaState line 17
  7. abbrev OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.FamilyState line 18
  8. abbrev OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.BaseTable line 19
  9. instance OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.(instance at line 21) line 21
  10. instance OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.(instance at line 22) line 22
  11. def OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.core line 24
  12. def OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.paddingTape line 25
  13. def OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.levelTape line 26
  14. def OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.dummyFuel line 27
  15. def OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.scratch line 28
  16. def OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.readyState line 30
  17. def OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.metadataTape line 32
  18. def OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.metadataView line 35
  19. def OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.familyTape line 39
  20. def OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.familyView line 42
  21. def OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.vertexView line 46
  22. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.metadataView_left line 50
  23. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.metadataView_right line 53
  24. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.familyView_left line 59
  25. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.familyView_right line 62
  26. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.vertexView_left line 68
  27. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.vertexView_right line 70
  28. def OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.metadataStates line 76
  29. def OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.familyStates line 82
  30. def OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.vertexStates line 88
  31. inductive OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.Label line 94
  32. def OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.entry line 106
  33. def OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.program line 108
  34. def OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.working line 141
  35. def OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.frame line 145
  36. def OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.cfg line 147
  37. def OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.initialData line 150
  38. def OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.metadataData line 163
  39. def OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.seededData line 166
  40. def OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.ownerBits line 169
  41. def OAI.IndependentSetsGames.Foundations.Complexity.MachineRegularOwnerBody.finalData line 172