OAI/Computability/VertexCover/Machines/ParseFrame.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.VertexCover.Machine.FrameParser.next line 44
  2. def OAI.VertexCover.Machine.FrameParser.state line 47
  3. def OAI.VertexCover.Machine.FrameParser.trans line 51
  4. def OAI.VertexCover.Machine.FrameParser.finish line 54
  5. def OAI.VertexCover.Machine.FrameParser.scan line 57
  6. theorem OAI.VertexCover.Machine.FrameParser.flag line 60
  7. theorem OAI.VertexCover.Machine.FrameParser.after_state line 65
  8. theorem OAI.VertexCover.Machine.FrameParser.after_digits line 70
  9. theorem OAI.VertexCover.Machine.FrameParser.after_rest line 75
  10. def OAI.VertexCover.Machine.FrameParser.parsed line 80
  11. theorem OAI.VertexCover.Machine.FrameParser.correct line 83
  12. def OAI.VertexCover.Machine.FrameParser.scanner line 101
  13. def OAI.VertexCover.Machine.FrameParser.poly line 106