OAI/Computability/VertexCover/Machines/Cloud.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.VertexCover.Machine.TableMachine.emptyTable line 46
  2. abbrev OAI.VertexCover.Machine.CloudMachine.pairCode line 55
  3. def OAI.VertexCover.Machine.CloudMachine.cloud line 57
  4. def OAI.VertexCover.Machine.CloudMachine.cloudPoly line 60
  5. def OAI.VertexCover.Machine.CloudMachine.padding line 71
  6. def OAI.VertexCover.Machine.CloudMachine.paddingPoly line 75
  7. def OAI.VertexCover.Machine.CloudMachine.localDummies line 79
  8. def OAI.VertexCover.Machine.CloudMachine.localDummiesPoly line 82
  9. def OAI.VertexCover.Machine.CloudMachine.dummies line 86
  10. def OAI.VertexCover.Machine.CloudMachine.dummiesPoly line 89
  11. theorem OAI.VertexCover.Machine.CloudMachine.map_finRange_val line 94
  12. theorem OAI.VertexCover.Machine.CloudMachine.cloud_source line 97
  13. theorem OAI.VertexCover.Machine.CloudMachine.padding_source line 110
  14. theorem OAI.VertexCover.Machine.CloudMachine.dummies_source line 115
  15. def OAI.VertexCover.Machine.CloudMachine.regularVerticesPoly line 127