OAI/Combinatorics/IndependentSets/Machines/GraphCounterModel.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. inductive OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.ExtraTape line 12
  2. instance OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.(instance at line 16) line 16
  3. inductive OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.ExtraLabel line 20
  4. instance OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.(instance at line 25) line 25
  5. abbrev OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.Tape line 30
  6. abbrev OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.Label line 31
  7. abbrev OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.Alphabet line 32
  8. abbrev OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.State line 33
  9. def OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.initialState line 35
  10. def OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.clockLabel line 37
  11. def OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.clockStatement line 41
  12. def OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.readHeader line 51
  13. def OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.program line 57
  14. def OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.machine line 75
  15. def OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.clockTapes line 86
  16. def OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.clockConfiguration line 90
  17. theorem OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.clockTapes_update line 94
  18. theorem OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.clockStatement_simulation line 101
  19. theorem OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.clockStep line 126
  20. def OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.clockInTime line 141