OAI/Computability/MinUncut/Search/CodeArithmetic.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MinUncut.Costed.addCode line 10
2. def OAI.MinUncut.Costed.subCode line 11
3. lemma OAI.MinUncut.Costed.run_add line 13
4. lemma OAI.MinUncut.Costed.run_sub line 33
5. def OAI.MinUncut.Costed.mulCode line 54
6. lemma OAI.MinUncut.Costed.run_mul line 56