OAI/Computability/MeanPayoff/Online.lean

GitHub source file

32 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MeanPayoff.RandomTree.consume line 10
  2. theorem OAI.MeanPayoff.RandomTree.consume_bind line 15
  3. theorem OAI.MeanPayoff.RandomTree.consume_map line 24
  4. theorem OAI.MeanPayoff.RandomTree.consume_path line 29
  5. theorem OAI.MeanPayoff.RandomTree.consume_read line 42
  6. abbrev OAI.MeanPayoff.Online line 54
  7. def OAI.MeanPayoff.Online.pure line 58
  8. def OAI.MeanPayoff.Online.map line 59
  9. def OAI.MeanPayoff.Online.bind line 62
  10. def OAI.MeanPayoff.Online.charge line 66
  11. def OAI.MeanPayoff.Online.uniformBelow line 70
  12. def OAI.MeanPayoff.Online.trials line 76
  13. def OAI.MeanPayoff.Online.traverse line 80
  14. def OAI.MeanPayoff.Counted.online line 88
  15. theorem OAI.MeanPayoff.Counted.online_pure line 90
  16. theorem OAI.MeanPayoff.Counted.online_map line 91
  17. theorem OAI.MeanPayoff.Counted.online_bind line 95
  18. theorem OAI.MeanPayoff.Counted.online_charge line 99
  19. theorem OAI.MeanPayoff.Counted.online_uniform line 104
  20. theorem OAI.MeanPayoff.Counted.online_trials line 116
  21. theorem OAI.MeanPayoff.Counted.online_traverse line 122
  22. def OAI.MeanPayoff.SolveBox.repeatedOnline line 131
  23. abbrev OAI.MeanPayoff.OnlineAlgorithm.LowerSolver line 137
  24. def OAI.MeanPayoff.OnlineAlgorithm.centerUpdate line 141
  25. def OAI.MeanPayoff.OnlineAlgorithm.centerSteps line 149
  26. def OAI.MeanPayoff.OnlineAlgorithm.orientationTail line 158
  27. def OAI.MeanPayoff.OnlineAlgorithm.orient line 172
  28. def OAI.MeanPayoff.OnlineAlgorithm.orientPlus line 184
  29. def OAI.MeanPayoff.OnlineAlgorithm.tighten line 188
  30. def OAI.MeanPayoff.OnlineAlgorithm.finishChoice line 218
  31. def OAI.MeanPayoff.OnlineAlgorithm.solveWidth line 235
  32. def OAI.MeanPayoff.OnlineAlgorithm.solve line 257