OAI/Computability/VertexCover/Machines/BinaryOutput.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.VertexCover.Machine.BinaryOutput.State line 43
  2. abbrev OAI.VertexCover.Machine.BinaryOutput.enc line 44
  3. def OAI.VertexCover.Machine.BinaryOutput.body line 45
  4. def OAI.VertexCover.Machine.BinaryOutput.result line 47
  5. def OAI.VertexCover.Machine.BinaryOutput.bodyPoly line 48
  6. theorem OAI.VertexCover.Machine.BinaryOutput.bits_step line 63
  7. theorem OAI.VertexCover.Machine.BinaryOutput.run line 75
  8. def OAI.VertexCover.Machine.BinaryOutput.poly line 94
  9. def OAI.VertexCover.Machine.Poly.rawReverse line 103
  10. def OAI.VertexCover.Machine.Poly.binaryDigits line 105
  11. def OAI.VertexCover.Machine.Poly.binaryFrame line 109
  12. def OAI.VertexCover.Machine.Poly.nameBits line 116
  13. def OAI.VertexCover.Machine.Poly.nameList line 118