OAI/Computability/RandomMean/RandomTables.lean

GitHub source file

22 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.MeanPayoff.RegisterBits.Flow.quiet_hop_all line 8
  2. theorem OAI.MeanPayoff.RegisterBits.Flow.skip_edge line 15
  3. def OAI.MeanPayoff.RandomTable.flow line 30
  4. def OAI.MeanPayoff.RandomTable.program line 48
  5. def OAI.MeanPayoff.RandomTable.cfg line 49
  6. def OAI.MeanPayoff.RandomTable.edge line 51
  7. theorem OAI.MeanPayoff.RandomTable.skip_step line 53
  8. theorem OAI.MeanPayoff.RandomTable.boundary line 57
  9. theorem OAI.MeanPayoff.RandomTable.wait_two line 67
  10. theorem OAI.MeanPayoff.RandomTable.loop_one line 72
  11. theorem OAI.MeanPayoff.RandomTable.toss_false line 87
  12. theorem OAI.MeanPayoff.RandomTable.toss_true line 91
  13. theorem OAI.MeanPayoff.RandomTable.cons_false line 95
  14. theorem OAI.MeanPayoff.RandomTable.cons_true line 100
  15. theorem OAI.MeanPayoff.RandomTable.loop_zero line 125
  16. theorem OAI.MeanPayoff.RandomTable.pair_up line 130
  17. theorem OAI.MeanPayoff.RandomTable.moves line 135
  18. theorem OAI.MeanPayoff.RandomTable.finishes line 147
  19. theorem OAI.MeanPayoff.RandomTable.list_size line 158
  20. theorem OAI.MeanPayoff.RandomTable.sample_trace line 167
  21. theorem OAI.MeanPayoff.RandomTable.begin_steps line 216
  22. theorem OAI.MeanPayoff.RandomTable.complete_trace line 230