OAI/Computability/VertexCover/Machines/GraphOutput.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.VertexCover.Machine.GraphMachine.candidates line 46
  2. def OAI.VertexCover.Machine.GraphMachine.edgeValues line 48
  3. theorem OAI.VertexCover.Machine.GraphMachine.candidates_eq line 51
  4. theorem OAI.VertexCover.Machine.GraphMachine.edgeValues_eq line 60
  5. def OAI.VertexCover.Machine.GraphMachine.candidatesPoly line 71
  6. def OAI.VertexCover.Machine.GraphMachine.edgeValuesPoly line 80
  7. def OAI.VertexCover.Machine.GraphMachine.endpointPoly line 86
  8. def OAI.VertexCover.Machine.GraphMachine.names line 89
  9. def OAI.VertexCover.Machine.GraphMachine.namesPoly line 92
  10. theorem OAI.VertexCover.Machine.GraphMachine.names_bits line 104
  11. def OAI.VertexCover.Machine.GraphMachine.outputPoly line 110