OAI/Computability/MatchingCount/RawPrimitives.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BinaryMatching.StackCode.Poly.rawNth line 11
2. theorem OAI.BinaryMatching.StackCode.Poly.rawGet line 14
3. theorem OAI.BinaryMatching.StackCode.Poly.rawMem line 18
4. theorem OAI.BinaryMatching.StackCode.Poly.rawTab line 20
5. theorem OAI.BinaryMatching.StackCode.Poly.rawMatrix line 24
6. theorem OAI.BinaryMatching.StackCode.Poly.rawEmpty line 30
7. theorem OAI.BinaryMatching.StackCode.Poly.rawFull line 31
8. theorem OAI.BinaryMatching.StackCode.Poly.rawInter line 32
9. theorem OAI.BinaryMatching.StackCode.Poly.rawCompl line 36
10. theorem OAI.BinaryMatching.StackCode.Poly.rawCardinal line 39
11. theorem OAI.BinaryMatching.StackCode.Poly.uncurriedOptionMap line 43