OAI/Computability/VertexCover/Machines/Padding.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.VertexCover.Machine.PaddingMachine.Input line 45
  2. def OAI.VertexCover.Machine.PaddingMachine.padded line 47
  3. def OAI.VertexCover.Machine.PaddingMachine.reverse line 50
  4. def OAI.VertexCover.Machine.PaddingMachine.relation line 53
  5. def OAI.VertexCover.Machine.PaddingMachine.testPoly line 56
  6. def OAI.VertexCover.Machine.PaddingMachine.reversePoly line 61
  7. def OAI.VertexCover.Machine.PaddingMachine.relationPoly line 65
  8. theorem OAI.VertexCover.Machine.PaddingMachine.reverse_source line 69
  9. theorem OAI.VertexCover.Machine.PaddingMachine.relation_source line 92
  10. def OAI.VertexCover.Machine.PaddingMachine.poly line 122