OAI/Computability/MinUncut/Search/CodeLayoutComputable.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.MinUncut.CodeEffective.Layout.Cell line 10
2. def OAI.MinUncut.CodeEffective.Layout.shift line 11
3. lemma OAI.MinUncut.CodeEffective.Layout.p_pointer line 13
4. lemma OAI.MinUncut.CodeEffective.Layout.p_shift line 16
5. def OAI.MinUncut.CodeEffective.Layout.binary line 21
6. def OAI.MinUncut.CodeEffective.Layout.unary line 23
7. lemma OAI.MinUncut.CodeEffective.Layout.p_binary line 24
8. lemma OAI.MinUncut.CodeEffective.Layout.p_unary line 32
9. def OAI.MinUncut.CodeEffective.Layout.cells line 36
10. lemma OAI.MinUncut.CodeEffective.Layout.p_cells line 37
11. def OAI.MinUncut.CodeEffective.Layout.pack line 39
12. lemma OAI.MinUncut.CodeEffective.Layout.pack_rebase line 40
13. lemma OAI.MinUncut.CodeEffective.Layout.cells_eq line 44
14. def OAI.MinUncut.CodeEffective.Layout.flattenCell line 59
15. lemma OAI.MinUncut.CodeEffective.Layout.p_flattenCell line 60
16. lemma OAI.MinUncut.CodeEffective.Layout.p_words line 64
17. lemma OAI.MinUncut.CodeEffective.Layout.p_count line 68
18. lemma OAI.MinUncut.CodeEffective.Layout.c_prefix line 70