OAI/Computability/MinUncut/Graphs/DemandExpressions.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MinUncut.Costed.SourceWords.secondAddress line 13
  2. def OAI.MinUncut.Costed.SourceWords.leftExpr line 15
  3. def OAI.MinUncut.Costed.SourceWords.rightExpr line 18
  4. def OAI.MinUncut.Costed.SourceWords.signExpr line 20
  5. lemma OAI.MinUncut.Costed.SourceWords.secondAddress_eval line 23
  6. lemma OAI.MinUncut.Costed.SourceWords.leftExpr_eval line 28
  7. lemma OAI.MinUncut.Costed.SourceWords.rightExpr_eval line 33
  8. lemma OAI.MinUncut.Costed.SourceWords.signExpr_eval line 37
  9. def OAI.MinUncut.Costed.SourceWords.queryWords line 44
  10. def OAI.MinUncut.Costed.SourceWords.queryProgram line 46
  11. lemma OAI.MinUncut.Costed.SourceWords.queryWords_eq line 50
  12. lemma OAI.MinUncut.Preprocess.Syntax.O.demandDigit line 64
  13. lemma OAI.MinUncut.Preprocess.Syntax.O.slotExpr line 67
  14. lemma OAI.MinUncut.Preprocess.Syntax.O.equationExpr line 70
  15. lemma OAI.MinUncut.Preprocess.Syntax.c_firstExpr line 77
  16. lemma OAI.MinUncut.Preprocess.Syntax.O.secondExpr line 82
  17. lemma OAI.MinUncut.Preprocess.Syntax.c_demandSignatureExpr line 97
  18. lemma OAI.MinUncut.Preprocess.Syntax.O.demandLookup line 118