OAI/Computability/VertexCover/Machines/PortCode.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.VertexCover.Machine.PortMachine.Data line 45
  2. def OAI.VertexCover.Machine.PortMachine.dataCode line 46
  3. def OAI.VertexCover.Machine.PortMachine.erase line 48
  4. def OAI.VertexCover.Machine.PortMachine.code line 50
  5. def OAI.VertexCover.Machine.PortMachine.verticesPoly line 52
  6. def OAI.VertexCover.Machine.PortMachine.reverseListPoly line 55
  7. def OAI.VertexCover.Machine.PortMachine.relationListPoly line 60
  8. def OAI.VertexCover.Machine.PortMachine.reversePoly line 65
  9. def OAI.VertexCover.Machine.PortMachine.relationPoly line 70
  10. theorem OAI.VertexCover.Machine.PortMachine.reverse_valid line 76
  11. theorem OAI.VertexCover.Machine.PortMachine.relation_valid line 80
  12. def OAI.VertexCover.Machine.PortMachine.graphRow line 85
  13. def OAI.VertexCover.Machine.PortMachine.graphRowPoly line 89
  14. theorem OAI.VertexCover.Machine.PortMachine.graphRow_source line 95
  15. def OAI.VertexCover.Machine.PortMachine.graphData line 102
  16. theorem OAI.VertexCover.Machine.PortMachine.graphData_source line 104
  17. def OAI.VertexCover.Machine.PortMachine.graphDataPoly line 114
  18. def OAI.VertexCover.Machine.PortMachine.graphPoly line 120