OAI/Combinatorics/ParityLifts/UniformPost.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ParityWL.Complexity.RBEval.pair line 7
2. lemma OAI.ParityWL.Complexity.RBEval.size_le line 13
3. lemma OAI.ParityWL.Complexity.RBEval.post line 18
4. def OAI.ParityWL.Complexity.PolyProgram.uniformPostStart line 30
5. def OAI.ParityWL.Complexity.PolyProgram.pairLeaves line 38
6. def OAI.ParityWL.Complexity.uniformPostCode line 44
7. def OAI.ParityWL.Complexity.runtimeStepBudget line 49
8. lemma OAI.ParityWL.Complexity.runtimeStepBudget_bound line 54
9. lemma OAI.ParityWL.Complexity.runtimeStepBudget_rate line 63
10. lemma OAI.ParityWL.Complexity.uniformPostCode_rate line 69