OAI/MathematicalPhysics/RapidForcing/TypedPrograms.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RapidForcing.EffectiveArithmetic.runTyped line 11
2. lemma OAI.RapidForcing.EffectiveArithmetic.partrec_runTyped line 14
3. lemma OAI.RapidForcing.EffectiveArithmetic.exists_typedCode line 18
4. def OAI.RapidForcing.EffectiveArithmetic.typedCode line 23
5. lemma OAI.RapidForcing.EffectiveArithmetic.typedCode_eval line 26
6. lemma OAI.RapidForcing.EffectiveArithmetic.runTyped_typedCode line 30
7. lemma OAI.RapidForcing.EffectiveArithmetic.runTyped_curry line 36
8. lemma OAI.RapidForcing.EffectiveArithmetic.computable_specialize line 40