OAI/Computability/VertexCover/Machines/TableBase.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.VertexCover.Machine.Poly.tabulate line 46
  2. abbrev OAI.VertexCover.Machine.TableMachine.Row line 56
  3. abbrev OAI.VertexCover.Machine.TableMachine.Data line 57
  4. def OAI.VertexCover.Machine.TableMachine.relationCode line 59
  5. def OAI.VertexCover.Machine.TableMachine.rowCode line 60
  6. def OAI.VertexCover.Machine.TableMachine.dataCode line 61
  7. def OAI.VertexCover.Machine.TableMachine.rowData line 62
  8. def OAI.VertexCover.Machine.TableMachine.tableData line 63
  9. def OAI.VertexCover.Machine.TableMachine.tableCode line 64
  10. def OAI.VertexCover.Machine.TableMachine.relationDefault line 66
  11. def OAI.VertexCover.Machine.TableMachine.rowDefault line 67
  12. theorem OAI.VertexCover.Machine.TableMachine.relationCode_length line 69
  13. def OAI.VertexCover.Machine.TableMachine.verticesPoly line 72
  14. def OAI.VertexCover.Machine.TableMachine.rowsPoly line 75
  15. def OAI.VertexCover.Machine.TableMachine.dartsPoly line 78
  16. def OAI.VertexCover.Machine.TableMachine.lookupPoly line 81
  17. def OAI.VertexCover.Machine.TableMachine.tailPoly line 89
  18. def OAI.VertexCover.Machine.TableMachine.reversePoly line 93
  19. def OAI.VertexCover.Machine.TableMachine.relationPoly line 97
  20. theorem OAI.VertexCover.Machine.TableMachine.lookup_valid line 101