OAI/Combinatorics/ParityLifts/LeafMachine.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ParityWL.Complexity.leafDecisionCode line 7
2. def OAI.ParityWL.Complexity.negateCost line 11
3. lemma OAI.ParityWL.Complexity.negate_cost line 13
4. def OAI.ParityWL.Complexity.leafTime line 16
5. def OAI.ParityWL.Complexity.leafCost line 19
6. lemma OAI.ParityWL.Complexity.power_order_bound line 22
7. lemma OAI.ParityWL.Complexity.TreeProgram.output_length line 37
8. lemma OAI.ParityWL.Complexity.simulation_after line 43
9. lemma OAI.ParityWL.Complexity.leafDecision_eval line 62
10. lemma OAI.ParityWL.Complexity.leafMachine_run line 69