OAI/Computability/MatchingCount/RawSize.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.BinaryMatching.StackCode.code_bool_length line 10
2. lemma OAI.BinaryMatching.StackCode.code_nat_length line 11
3. lemma OAI.BinaryMatching.StackCode.code_int_length line 12
4. lemma OAI.BinaryMatching.StackCode.code_pair_length line 15
5. lemma OAI.BinaryMatching.StackCode.pair_left_le line 18
6. lemma OAI.BinaryMatching.StackCode.pair_right_le line 20
7. lemma OAI.BinaryMatching.StackCode.nth_code_bound line 23
8. lemma OAI.BinaryMatching.StackCode.nth_code_le line 32
9. lemma OAI.BinaryMatching.StackCode.tab_code_bound line 40
10. lemma OAI.BinaryMatching.StackCode.matrix_code_bound line 49
11. lemma OAI.BinaryMatching.StackCode.cut_code_length line 56
12. lemma OAI.BinaryMatching.StackCode.option_prepend_bound line 61