OAI/Combinatorics/IndependentSets/Machines/MachineUnaryCounter.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.IndependentSetsGames.Foundations.Complexity.MachineUnaryCounter.Alphabet line 13
2. def OAI.IndependentSetsGames.Foundations.Complexity.MachineUnaryCounter.guard line 15
3. def OAI.IndependentSetsGames.Foundations.Complexity.MachineUnaryCounter.counterTapes line 22
4. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineUnaryCounter.counterTapes_counter line 26
5. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineUnaryCounter.counterTapes_other line 31
6. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineUnaryCounter.guardPushBound line 37
7. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineUnaryCounter.stepAux_succ line 41
8. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineUnaryCounter.stepAux_zero line 49
9. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineUnaryCounter.guardStep_succ line 57
10. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineUnaryCounter.guardStep_zero line 69
11. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineUnaryCounter.guardTrace_succ line 81
12. theorem OAI.IndependentSetsGames.Foundations.Complexity.MachineUnaryCounter.guardTrace_zero line 94
13. def OAI.IndependentSetsGames.Foundations.Complexity.MachineUnaryCounter.guardInTime_succ line 106
14. def OAI.IndependentSetsGames.Foundations.Complexity.MachineUnaryCounter.guardInTime_zero line 121