OAI/Computability/MeanPayoff/Traversal.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.MeanPayoff.RandomTree.traverse_relation_error line 10
  2. theorem OAI.MeanPayoff.forall₂_member_left line 34
  3. theorem OAI.MeanPayoff.forall₂_right_all line 44
  4. theorem OAI.MeanPayoff.SolveBox.fold_min_lower line 57
  5. theorem OAI.MeanPayoff.SolveBox.fold_max_upper line 68
  6. theorem OAI.MeanPayoff.SolveBox.fold_max_seed line 79
  7. theorem OAI.MeanPayoff.SolveBox.fold_min_seed line 87
  8. theorem OAI.MeanPayoff.SolveBox.fold_max_member line 93
  9. theorem OAI.MeanPayoff.SolveBox.fold_min_member line 103
  10. theorem OAI.MeanPayoff.SolveBox.volume_le line 112
  11. def OAI.MeanPayoff.HighAccuracy line 122
  12. def OAI.MeanPayoff.LowAccuracy line 126
  13. theorem OAI.MeanPayoff.RandomTree.imp_error line 130
  14. theorem OAI.MeanPayoff.finishChoice_high line 140
  15. theorem OAI.MeanPayoff.finishChoice_low line 226