OAI/Computability/WLIdentification/TypedArithmetic.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.WLIdentification.FinitePresentation.Map.sumCases line 12
2. def OAI.WLIdentification.FinitePresentation.Map.optionCases line 16
3. def OAI.WLIdentification.FinitePresentation.Map.const line 21
4. def OAI.WLIdentification.FinitePresentation.Map.boolOfTest line 25
5. def OAI.WLIdentification.FinitePresentation.Number.retype line 32
6. def OAI.WLIdentification.FinitePresentation.Number.fixedOfCode line 35
7. def OAI.WLIdentification.FinitePresentation.Test.param line 62
8. def OAI.WLIdentification.FinitePresentation.Test.ofBoolMap line 65