OAI/Computability/BinPacking/Machines/MachineBoundedIteration.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.BinPackingGap.MachineBoundedIteration.inputBits line 9
2. theorem OAI.BinPackingGap.MachineBoundedIteration.inputBits_length line 12
3. def OAI.BinPackingGap.MachineBoundedIteration.iterate line 16
4. def OAI.BinPackingGap.MachineBoundedIteration.timeBound line 18
5. theorem OAI.BinPackingGap.MachineBoundedIteration.timeBound_eval line 23
6. def OAI.BinPackingGap.MachineBoundedIteration.GrowthBound line 29
7. def OAI.BinPackingGap.MachineBoundedIteration.computation line 34
8. theorem OAI.BinPackingGap.MachineBoundedIteration.computation_finiteAlphabet line 76