OAI/Combinatorics/MatchingCount/Tapes/StackEmbedding.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MatchingFPRAS.StackEmbedding.extend line 12
  2. lemma OAI.MatchingFPRAS.StackEmbedding.extend_on line 15
  3. lemma OAI.MatchingFPRAS.StackEmbedding.extend_off line 20
  4. lemma OAI.MatchingFPRAS.StackEmbedding.extend_update line 22
  5. def OAI.MatchingFPRAS.StackEmbedding.stmt line 34
  6. def OAI.MatchingFPRAS.StackEmbedding.cfg line 42
  7. lemma OAI.MatchingFPRAS.StackEmbedding.stmt_eval line 45
  8. lemma OAI.MatchingFPRAS.StackEmbedding.stmt_accesses line 58
  9. def OAI.MatchingFPRAS.StackEmbedding.program line 62
  10. lemma OAI.MatchingFPRAS.StackEmbedding.advance_cfg line 64
  11. theorem OAI.MatchingFPRAS.StackEmbedding.run_cfg line 72