OAI/Computability/VertexCover/Machines/Generic.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.VertexCover.Machine.Poly.rawBooleans line 45
  2. def OAI.VertexCover.Machine.Poly.vectorOfFn line 52
  3. abbrev OAI.VertexCover.Machine.GenericMachine.Row line 64
  4. abbrev OAI.VertexCover.Machine.GenericMachine.Data line 65
  5. def OAI.VertexCover.Machine.GenericMachine.relationCode line 66
  6. def OAI.VertexCover.Machine.GenericMachine.rowCode line 67
  7. def OAI.VertexCover.Machine.GenericMachine.dataCode line 68
  8. def OAI.VertexCover.Machine.GenericMachine.rowData line 69
  9. def OAI.VertexCover.Machine.GenericMachine.erase line 70
  10. def OAI.VertexCover.Machine.GenericMachine.code line 71
  11. def OAI.VertexCover.Machine.GenericMachine.relationDefault line 72
  12. def OAI.VertexCover.Machine.GenericMachine.rowDefault line 73
  13. def OAI.VertexCover.Machine.GenericMachine.verticesPoly line 75
  14. def OAI.VertexCover.Machine.GenericMachine.rowsPoly line 77
  15. def OAI.VertexCover.Machine.GenericMachine.dartsPoly line 79
  16. def OAI.VertexCover.Machine.GenericMachine.lookupPoly line 81
  17. theorem OAI.VertexCover.Machine.GenericMachine.lookup_valid line 88
  18. theorem OAI.VertexCover.Machine.GenericMachine.materialize_source line 94
  19. def OAI.VertexCover.Machine.GenericMachine.materializePoly line 104