OAI/Computability/MatchingCount/StackFrame.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.BinaryMatching.StackCode.lift_clean line 9
2. lemma OAI.BinaryMatching.StackCode.Routine.run_at line 26
3. def OAI.BinaryMatching.StackCode.Routine.reindex line 37
4. def OAI.BinaryMatching.StackCode.Routine.identity line 46