OAI/Combinatorics/ParityLifts/UniformHeaders.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ParityWL.Complexity.trialInput line 7
2. def OAI.ParityWL.Complexity.readUnary line 10
3. def OAI.ParityWL.Complexity.PolyProgram.readUnary line 12
4. lemma OAI.ParityWL.Complexity.readUnary_encode line 18
5. def OAI.ParityWL.Complexity.trialNormalize line 26
6. def OAI.ParityWL.Complexity.trialNormalizeProgram line 31
7. lemma OAI.ParityWL.Complexity.trialNormalize_encode line 38