OAI/Computability/MatchingCount/ParamRoutine.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BinaryMatching.StackCode.Poly.mapWith line 11
2. theorem OAI.BinaryMatching.StackCode.Poly.flatMapWith line 16
3. theorem OAI.BinaryMatching.StackCode.Poly.listHeadOption line 23
4. theorem OAI.BinaryMatching.StackCode.Poly.listFilterParam line 27
5. theorem OAI.BinaryMatching.StackCode.Poly.filterWith line 35
6. theorem OAI.BinaryMatching.StackCode.Poly.listFind line 40
7. theorem OAI.BinaryMatching.StackCode.Poly.listFindParam line 48
8. theorem OAI.BinaryMatching.StackCode.Poly.findWith line 61