OAI/Combinatorics/MatchingCount/Tapes/StackLens.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.MatchingFPRAS.StackLens.Lens line 9
  2. def OAI.MatchingFPRAS.StackLens.Lens.identity line 16
  3. def OAI.MatchingFPRAS.StackLens.Lens.first line 18
  4. def OAI.MatchingFPRAS.StackLens.Lens.second line 20
  5. def OAI.MatchingFPRAS.StackLens.stmt line 24
  6. def OAI.MatchingFPRAS.StackLens.cfg line 33
  7. lemma OAI.MatchingFPRAS.StackLens.stmt_eval line 36
  8. lemma OAI.MatchingFPRAS.StackLens.accesses line 54
  9. def OAI.MatchingFPRAS.StackLens.program line 57
  10. lemma OAI.MatchingFPRAS.StackLens.advance_cfg line 59
  11. theorem OAI.MatchingFPRAS.StackLens.run_cfg line 67