OAI/Combinatorics/ParityLifts/Evaluation.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ParityWL.Complexity.FEval.output_unique line 7
2. lemma OAI.ParityWL.Complexity.BEval.output_unique line 51
3. lemma OAI.ParityWL.Complexity.PolyProgram.encoding_natural line 55
4. lemma OAI.ParityWL.Complexity.treeEncode_map line 64