OAI/Computability/MinUncut/Estimates/HeapInitializationMath.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MinUncut.Costed.Arena.rebasePointer line 10
2. def OAI.MinUncut.Costed.Arena.rebaseNode line 11
3. lemma OAI.MinUncut.Costed.Arena.codeCells_length_eq line 14
4. lemma OAI.MinUncut.Costed.Arena.codeCells_pos line 23
5. lemma OAI.MinUncut.Costed.Arena.codeCells_rebase line 26
6. lemma OAI.MinUncut.Costed.Arena.words_append line 53
7. lemma OAI.MinUncut.Costed.Arena.listCells_ptr line 56
8. def OAI.MinUncut.Costed.Arena.groupWords line 62
9. lemma OAI.MinUncut.Costed.Arena.groupWords_length line 64
10. lemma OAI.MinUncut.Costed.Arena.groupWords_words line 66