OAI/Combinatorics/IndependentSets/Machines/MachineExpanderRowProgram.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

1. inductive OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderRow.Tape line 14
2. instance OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderRow.(instance at line 21) line 21
3. inductive OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderRow.Label line 27
4. abbrev OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderRow.Ambient line 45
5. abbrev OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderRow.State line 46
6. def OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderRow.divisionStates line 49
7. def OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderRow.firstFinish line 56
8. def OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderRow.secondFinish line 60
9. def OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderRow.affinePlan line 64
10. def OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderRow.firstPlan line 69
11. def OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderRow.secondPlan line 73
12. def OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderRow.outputPlan line 77
13. def OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderRow.lookupTape line 81
14. def OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderRow.dirtyTape line 88
15. def OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderRow.statement line 98
16. def OAI.IndependentSetsGames.Foundations.Complexity.MachineExpanderRow.program line 163