OAI/Combinatorics/ParityLifts/BoundedSimulation.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ParityWL.Complexity.foldl_replicate_iterate line 7
2. lemma OAI.ParityWL.Complexity.TreeProgram.foldWork_replicate_bound line 13
3. def OAI.ParityWL.Complexity.smallSizeConstant line 42
4. def OAI.ParityWL.Complexity.boundedConfiguration line 45
5. def OAI.ParityWL.Complexity.boundedAnswer line 48
6. def OAI.ParityWL.Complexity.TreeProgram.boundedConfiguration line 52
7. lemma OAI.ParityWL.Complexity.boundedConfiguration_time_bound line 63
8. def OAI.ParityWL.Complexity.PolyProgram.boundedConfiguration line 109
9. def OAI.ParityWL.Complexity.PolyProgram.smallAnswerPair line 115
10. def OAI.ParityWL.Complexity.PolyProgram.boundedAnswer line 124