OAI/Computability/MinUncut/Graphs/Graph.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MinUncut.Outer.Parameters.sourceError line 13
  2. lemma OAI.MinUncut.Outer.Parameters.sourceError_pos line 15
  3. lemma OAI.MinUncut.Outer.Parameters.sourceError_small line 19
  4. lemma OAI.MinUncut.Outer.Parameters.sourceError_budget line 21
  5. def OAI.MinUncut.Outer.Parameters.baseTable line 29
  6. lemma OAI.MinUncut.Outer.Parameters.baseTable_certificate line 31
  7. def OAI.MinUncut.Outer.Parameters.sourceReduction line 35
  8. def OAI.MinUncut.Outer.Parameters.sourceGraph line 43
  9. lemma OAI.MinUncut.Outer.Parameters.sourceGraph_yes line 46
  10. lemma OAI.MinUncut.Outer.Parameters.sourceGraph_no line 51
  11. def OAI.MinUncut.parameters line 60
  12. def OAI.MinUncut.semanticReduction line 62
  13. lemma OAI.MinUncut.semanticReduction_yes line 65
  14. lemma OAI.MinUncut.semanticReduction_no line 69