OAI/Combinatorics/MatchingCount/Tapes/StackWords.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MatchingFPRAS.StackWords.rows line 11
  2. def OAI.MatchingFPRAS.StackWords.word line 13
  3. lemma OAI.MatchingFPRAS.StackWords.word_length line 15
  4. lemma OAI.MatchingFPRAS.StackWords.rows_projection line 20
  5. lemma OAI.MatchingFPRAS.StackWords.word_blank line 32
  6. lemma OAI.MatchingFPRAS.StackWords.unique_rows line 37
  7. lemma OAI.MatchingFPRAS.StackWords.initial line 46
  8. lemma OAI.MatchingFPRAS.StackWords.output line 55
  9. def OAI.MatchingFPRAS.StackWords.compiled line 69
  10. def OAI.MatchingFPRAS.StackWords.cost line 72
  11. def OAI.MatchingFPRAS.StackWords.encoded line 74
  12. theorem OAI.MatchingFPRAS.StackWords.compiled_execution line 78