OAI/Computability/VertexCover/Machines/FiniteMemory.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.VertexCover.Machine.BoundedMemory.Memory line 45
  2. instance OAI.VertexCover.Machine.BoundedMemory.(instance at line 47) line 47
  3. def OAI.VertexCover.Machine.BoundedMemory.next line 56
  4. theorem OAI.VertexCover.Machine.BoundedMemory.output line 60
  5. def OAI.VertexCover.Machine.Poly.finite line 74
  6. def OAI.VertexCover.Machine.Poly.bool line 106
  7. def OAI.VertexCover.Machine.Select.trans line 111
  8. def OAI.VertexCover.Machine.Select.emb line 119
  9. theorem OAI.VertexCover.Machine.Select.bound line 121
  10. theorem OAI.VertexCover.Machine.Select.trans_emb line 125
  11. theorem OAI.VertexCover.Machine.Select.normal line 130
  12. theorem OAI.VertexCover.Machine.Select.encoded line 137
  13. def OAI.VertexCover.Machine.Poly.select line 145
  14. def OAI.VertexCover.Machine.Poly.ite line 152