OAI/Computability/MatchingCount/ListRoutine.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.BinaryMatching.StackCode.Routine.listCases line 13
2. theorem OAI.BinaryMatching.StackCode.Poly.listCases line 43
3. theorem OAI.BinaryMatching.StackCode.Poly.listCons line 47
4. theorem OAI.BinaryMatching.StackCode.Poly.listTail line 51
5. theorem OAI.BinaryMatching.StackCode.Poly.listHeadD line 54
6. theorem OAI.BinaryMatching.StackCode.Poly.listIsEmpty line 57
7. theorem OAI.BinaryMatching.StackCode.Poly.listAppend line 60