OAI/Computability/MinUncut/Estimates/CodeIteration.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MinUncut.Costed.iterBody line 10
2. def OAI.MinUncut.Costed.iterCode line 12
3. lemma OAI.MinUncut.Costed.run_iterBody_zero line 14
4. lemma OAI.MinUncut.Costed.run_iterBody_succ line 18
5. lemma OAI.MinUncut.Costed.run_iter line 29
6. def OAI.MinUncut.Costed.PolyProgram.iterate line 69
7. def OAI.MinUncut.Costed.PolyProgram.dynamic line 108