OAI/Computability/MatchingCount/IterateRoutine.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.BinaryMatching.StackCode.unary line 10
2. lemma OAI.BinaryMatching.StackCode.unary_length line 11
3. lemma OAI.BinaryMatching.StackCode.unary_reverse line 12
4. lemma OAI.BinaryMatching.StackCode.unary_zero line 13
5. lemma OAI.BinaryMatching.StackCode.unary_succ line 14
6. lemma OAI.BinaryMatching.StackCode.Routine.iterate_runs_at line 19
7. def OAI.BinaryMatching.StackCode.Routine.boundedIterate line 66