OAI/Computability/VertexCover/Machines/GraphNumber.lean

GitHub source file

22 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.VertexCover.Machine.GraphMachine.weightCount line 46
  2. theorem OAI.VertexCover.Machine.GraphMachine.weightCount_pos line 47
  3. def OAI.VertexCover.Machine.GraphMachine.count line 49
  4. theorem OAI.VertexCover.Machine.GraphMachine.count_pos line 50
  5. def OAI.VertexCover.Machine.GraphMachine.seedEquiv line 53
  6. theorem OAI.VertexCover.Machine.GraphMachine.seedEquiv_apply line 55
  7. def OAI.VertexCover.Machine.GraphMachine.numberEquiv line 59
  8. def OAI.VertexCover.Machine.GraphMachine.decode line 61
  9. theorem OAI.VertexCover.Machine.GraphMachine.numberEquiv_apply line 63
  10. def OAI.VertexCover.Machine.GraphMachine.fullEquiv line 66
  11. def OAI.VertexCover.Machine.GraphMachine.graph line 68
  12. def OAI.VertexCover.Machine.GraphMachine.explicitGraph line 70
  13. def OAI.VertexCover.Machine.GraphMachine.countPoly line 73
  14. def OAI.VertexCover.Machine.GraphMachine.decodePoly line 76
  15. def OAI.VertexCover.Machine.GraphMachine.numberFrame line 82
  16. def OAI.VertexCover.Machine.GraphMachine.numberFramePoly line 84
  17. def OAI.VertexCover.Machine.GraphMachine.test line 91
  18. def OAI.VertexCover.Machine.GraphMachine.normNumberPoly line 96
  19. def OAI.VertexCover.Machine.GraphMachine.lessPoly line 99
  20. def OAI.VertexCover.Machine.GraphMachine.testPrePoly line 101
  21. def OAI.VertexCover.Machine.GraphMachine.testPoly line 104
  22. theorem OAI.VertexCover.Machine.GraphMachine.test_correct line 108