OAI/Computability/MatchingCount/RawRoutine.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.BinaryMatching.StackCode.Routine.append line 11
2. def OAI.BinaryMatching.StackCode.Routine.pushBit line 34
3. def OAI.BinaryMatching.StackCode.Routine.tail line 42
4. def OAI.BinaryMatching.StackCode.Routine.isEmpty line 50