OAI/Computability/MinUncut/Games/QuestionExpressions.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MinUncut.Costed.SourceWords.tupleDigit line 15
2. def OAI.MinUncut.Costed.SourceWords.slotExpr line 16
3. def OAI.MinUncut.Costed.SourceWords.inputTuple line 17
4. lemma OAI.MinUncut.Costed.SourceWords.tupleDigit_eval line 20
5. lemma OAI.MinUncut.Costed.SourceWords.slotExpr_name line 27
6. lemma OAI.MinUncut.Costed.SourceWords.slotExpr_rhs line 34
7. def OAI.MinUncut.Costed.SourceWords.equationExpr line 41
8. def OAI.MinUncut.Costed.SourceWords.firstExpr line 44
9. def OAI.MinUncut.Costed.SourceWords.secondExpr line 47
10. lemma OAI.MinUncut.Costed.SourceWords.reg1_eval line 52
11. lemma OAI.MinUncut.Costed.SourceWords.inputTuple_reg1 line 55
12. lemma OAI.MinUncut.Costed.SourceWords.equationExpr_eval line 58
13. lemma OAI.MinUncut.Costed.SourceWords.firstExpr_eval line 63
14. lemma OAI.MinUncut.Costed.SourceWords.secondExpr_eval line 68