OAI/Computability/VertexCover/Machines/NatDiv.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.VertexCover.Machine.Divide.State line 42
  2. abbrev OAI.VertexCover.Machine.Divide.enc line 43
  3. def OAI.VertexCover.Machine.Divide.body line 45
  4. def OAI.VertexCover.Machine.Divide.result line 48
  5. def OAI.VertexCover.Machine.Divide.bodyPoly line 50
  6. theorem OAI.VertexCover.Machine.Divide.run line 63
  7. def OAI.VertexCover.Machine.Divide.poly line 93
  8. def OAI.VertexCover.Machine.Poly.natDivMod line 103
  9. def OAI.VertexCover.Machine.Poly.natDiv line 110
  10. def OAI.VertexCover.Machine.Poly.natMod line 113
  11. def OAI.VertexCover.Machine.Poly.natPow line 116