OAI/Computability/MinUncut/Search/ArithmeticExpression.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. inductive OAI.MinUncut.Costed.AExpr line 8
2. def OAI.MinUncut.Costed.AExpr.eval line 21
3. def OAI.MinUncut.Costed.AExpr.program line 34
4. def OAI.MinUncut.Costed.AExpr.pow line 50
5. lemma OAI.MinUncut.Costed.AExpr.eval_pow line 53
6. def OAI.MinUncut.Costed.AExpr.sum line 58
7. lemma OAI.MinUncut.Costed.AExpr.eval_sum line 61
8. def OAI.MinUncut.Costed.AExpr.lookup line 66
9. def OAI.MinUncut.Costed.AExpr.lookupValue line 69
10. lemma OAI.MinUncut.Costed.AExpr.eval_lookup line 72