OAI/Combinatorics/ParityLifts/BitPrograms.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ParityWL.Complexity.PolyProgram.idxOf line 7
  2. def OAI.ParityWL.Complexity.PolyProgram.names line 11
  3. def OAI.ParityWL.Complexity.PolyProgram.lookupBits line 14
  4. def OAI.ParityWL.Complexity.PolyProgram.literalTest line 22
  5. def OAI.ParityWL.Complexity.PolyProgram.checkFormula line 31
  6. def OAI.ParityWL.Complexity.PolyProgram.satisfyingWith line 42
  7. abbrev OAI.ParityWL.Complexity.KeyInput line 49
  8. def OAI.ParityWL.Complexity.PolyProgram.groupAt line 51
  9. def OAI.ParityWL.Complexity.PolyProgram.pairKey line 56
  10. abbrev OAI.ParityWL.Complexity.TableInput line 85
  11. def OAI.ParityWL.Complexity.choiceWithWords line 87
  12. lemma OAI.ParityWL.Complexity.choiceWithWords_words line 93
  13. def OAI.ParityWL.Complexity.PolyProgram.rowKeyWith line 96
  14. def OAI.ParityWL.Complexity.PolyProgram.domainWith line 109
  15. def OAI.ParityWL.Complexity.PolyProgram.choiceWithWords line 121