OAI/Computability/VertexCover/Machines/Naturals.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.VertexCover.Machine.natBits line 42
  2. theorem OAI.VertexCover.Machine.natBits_length line 43
  3. def OAI.VertexCover.Machine.Poly.natSucc line 45
  4. def OAI.VertexCover.Machine.Poly.natPred line 48
  5. def OAI.VertexCover.Machine.Poly.natAdd line 51
  6. def OAI.VertexCover.Machine.Poly.natZero line 56
  7. def OAI.VertexCover.Machine.Poly.natPositive line 59
  8. def OAI.VertexCover.Machine.Iterate.run line 65
  9. def OAI.VertexCover.Machine.Iterate.body line 69
  10. def OAI.VertexCover.Machine.Iterate.bodyPoly line 73
  11. theorem OAI.VertexCover.Machine.Iterate.bounded line 82
  12. def OAI.VertexCover.Machine.Poly.iterate line 93
  13. theorem OAI.VertexCover.Machine.iterate_pred line 107
  14. def OAI.VertexCover.Machine.Poly.natSub line 112
  15. def OAI.VertexCover.Machine.Poly.natLE line 120
  16. def OAI.VertexCover.Machine.Poly.bool₂ line 125
  17. def OAI.VertexCover.Machine.Poly.natBEq line 132
  18. theorem OAI.VertexCover.Machine.iterate_add line 140
  19. def OAI.VertexCover.Machine.Poly.natMul line 146