OAI/Computability/VertexCover/Machines/GraphDescriptor.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. instance OAI.VertexCover.Machine.GraphMachine.descriptorFintype line 45
  2. def OAI.VertexCover.Machine.GraphMachine.validPoly line 55
  3. def OAI.VertexCover.Machine.GraphMachine.queryEqualPoly line 64
  4. def OAI.VertexCover.Machine.GraphMachine.boolFinite line 86
  5. def OAI.VertexCover.Machine.GraphMachine.descriptorPoly line 88
  6. def OAI.VertexCover.Machine.GraphMachine.testFinitePoly line 115
  7. def OAI.VertexCover.Machine.GraphMachine.normTestPoly line 119
  8. theorem OAI.VertexCover.Machine.GraphMachine.diagramSum_frame line 124
  9. theorem OAI.VertexCover.Machine.GraphMachine.normTest_correct line 130