OAI/Combinatorics/ParityLifts/LeafProducer.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ParityWL.Complexity.leafWords line 7
  2. def OAI.ParityWL.Complexity.leafData line 9
  3. def OAI.ParityWL.Complexity.leafOutput line 11
  4. def OAI.ParityWL.Complexity.PolyProgram.leafWords line 14
  5. def OAI.ParityWL.Complexity.PolyProgram.leafPrepare line 19
  6. def OAI.ParityWL.Complexity.TreeProgram.insertWords line 23
  7. def OAI.ParityWL.Complexity.PolyProgram.wordsOutput line 29
  8. def OAI.ParityWL.Complexity.TreeProgram.leafCompose line 33
  9. def OAI.ParityWL.Complexity.TreeProgram.leafOutput line 44
  10. lemma OAI.ParityWL.Complexity.leafData_success line 48
  11. lemma OAI.ParityWL.Complexity.leafData_size line 53
  12. lemma OAI.ParityWL.Complexity.leafOutput_spec line 68