OAI/Computability/VertexCover/Machines/ListNat.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.VertexCover.Machine.listBits_tail_length_le line 44
  2. theorem OAI.VertexCover.Machine.listBits_drop_length_le line 50
  3. theorem OAI.VertexCover.Machine.iterate_tail line 57
  4. def OAI.VertexCover.Machine.Poly.listDrop line 63
  5. def OAI.VertexCover.Machine.Poly.listGetD line 73
  6. theorem OAI.VertexCover.Machine.foldl_count line 78
  7. def OAI.VertexCover.Machine.Poly.lengthFold line 84
  8. def OAI.VertexCover.Machine.Poly.listLength line 100
  9. def OAI.VertexCover.Machine.RawList.trans line 107
  10. theorem OAI.VertexCover.Machine.RawList.encode line 109
  11. def OAI.VertexCover.Machine.Poly.rawToList line 117
  12. def OAI.VertexCover.Machine.Range.step line 123
  13. theorem OAI.VertexCover.Machine.Range.run line 125
  14. theorem OAI.VertexCover.Machine.Range.bits_bound line 134
  15. def OAI.VertexCover.Machine.Range.poly line 142
  16. def OAI.VertexCover.Machine.Poly.range line 150