OAI/Combinatorics/IndependentSets/Machines/GraphCounterStart.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.startExtra line 10
2. def OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.startMemory line 15
3. theorem OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.startMemory_input_update line 19
4. theorem OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.startMemory_sum_update line 27
5. theorem OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.headerStep_zero line 35
6. theorem OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.headerStep_succ line 49
7. theorem OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.headerTrace line 66
8. def OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.headerInTime line 83
9. theorem OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.initialMemory line 95
10. theorem OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.clockInitialMemory line 105
11. def OAI.IndependentSetsGames.Foundations.Complexity.GraphCounterModel.startInTime line 117