OAI/Computability/MatchingCount/FoldRoutine.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.BinaryMatching.StackCode.code_drop_le line 10
2. def OAI.BinaryMatching.StackCode.foldStep line 16
3. lemma OAI.BinaryMatching.StackCode.foldStep_iterate line 19
4. theorem OAI.BinaryMatching.StackCode.Poly.listFold line 32
5. lemma OAI.BinaryMatching.StackCode.Poly.count_fold line 56
6. theorem OAI.BinaryMatching.StackCode.Poly.listLength line 62