OAI/Combinatorics/ParityLifts/UniformMachine.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ParityWL.Complexity.PolyProgram.bagParameter line 7
2. def OAI.ParityWL.Complexity.TreeProgram.uniformLeafPair line 12
3. def OAI.ParityWL.Complexity.PolyProgram.withDimension line 19
4. def OAI.ParityWL.Complexity.TreeProgram.uniformWLInput line 24
5. def OAI.ParityWL.Complexity.uniformLeafDecisionCode line 29
6. def OAI.ParityWL.Complexity.uniformLeafTime line 32
7. def OAI.ParityWL.Complexity.uniformLeafCost line 35
8. lemma OAI.ParityWL.Complexity.uniformLeafMachine_run line 38