OAI/MathematicalPhysics/AlternatingFlow/TypedPrograms.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.AlternatingNS.Effective.execute line 11
2. lemma OAI.AlternatingNS.Effective.execute_partrec line 14
3. lemma OAI.AlternatingNS.Effective.typed_fixedpoint line 20
4. lemma OAI.AlternatingNS.Effective.computable_of_execute line 32
5. lemma OAI.AlternatingNS.Effective.partrec_ite line 36
6. lemma OAI.AlternatingNS.Effective.binary_recursive_program line 50