OAI/Computability/VertexCover/Machines/Iteration.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.VertexCover.Machine.Iterate.run_source line 47
  2. abbrev OAI.VertexCover.Machine.IterationMachine.State line 59
  3. abbrev OAI.VertexCover.Machine.IterationMachine.enc line 60
  4. def OAI.VertexCover.Machine.IterationMachine.initial line 62
  5. def OAI.VertexCover.Machine.IterationMachine.result line 64
  6. def OAI.VertexCover.Machine.IterationMachine.sizePolynomial line 67
  7. theorem OAI.VertexCover.Machine.IterationMachine.size_bound line 71
  8. def OAI.VertexCover.Machine.IterationMachine.initialPoly line 114
  9. def OAI.VertexCover.Machine.IterationMachine.loopPoly line 120
  10. def OAI.VertexCover.Machine.IterationMachine.poly line 132