OAI/Computability/MeanPayoff/Model.lean

GitHub source file

25 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.MeanPayoff.Game line 6

   Also declared: ComparatorChallenges/RandomizedMeanPayoff.lean:6 (same declaration text).

2. def OAI.MeanPayoff.Strategy line 16

   Also declared: ComparatorChallenges/RandomizedMeanPayoff.lean:16 (same declaration text).

3. def OAI.MeanPayoff.move line 19

   Also declared: ComparatorChallenges/RandomizedMeanPayoff.lean:19 (same declaration text).

4. def OAI.MeanPayoff.position line 23

   Also declared: ComparatorChallenges/RandomizedMeanPayoff.lean:23 (same declaration text).

5. def OAI.MeanPayoff.play line 31

   Also declared: ComparatorChallenges/RandomizedMeanPayoff.lean:31 (same declaration text).

6. def OAI.MeanPayoff.meanPayoff line 35

   Also declared: ComparatorChallenges/RandomizedMeanPayoff.lean:35 (same declaration text).

7. def OAI.MeanPayoff.Winning line 39

   Also declared: ComparatorChallenges/RandomizedMeanPayoff.lean:39 (same declaration text).

8. def OAI.MeanPayoff.encodeNat line 42

   Also declared: ComparatorChallenges/RandomizedMeanPayoff.lean:42 (same declaration text).

9. def OAI.MeanPayoff.encodeInt line 46

   Also declared: ComparatorChallenges/RandomizedMeanPayoff.lean:46 (same declaration text).

10. def OAI.MeanPayoff.input line 49

    Also declared: ComparatorChallenges/RandomizedMeanPayoff.lean:49 (same declaration text).

11. abbrev OAI.MeanPayoff.Symbol line 55

    Also declared: ComparatorChallenges/RandomizedMeanPayoff.lean:55 (same declaration text).

12. inductive OAI.MeanPayoff.Direction line 57

    Also declared: ComparatorChallenges/RandomizedMeanPayoff.lean:57 (same declaration text).

13. def OAI.MeanPayoff.Direction.offset line 61

    Also declared: ComparatorChallenges/RandomizedMeanPayoff.lean:61 (same declaration text).

14. structure OAI.MeanPayoff.Action line 66

    Also declared: ComparatorChallenges/RandomizedMeanPayoff.lean:66 (same declaration text).

15. structure OAI.MeanPayoff.Machine line 71

    Also declared: ComparatorChallenges/RandomizedMeanPayoff.lean:71 (same declaration text).

16. structure OAI.MeanPayoff.Configuration line 76

    Also declared: ComparatorChallenges/RandomizedMeanPayoff.lean:76 (same declaration text).

17. def OAI.MeanPayoff.initial line 81

    Also declared: ComparatorChallenges/RandomizedMeanPayoff.lean:81 (same declaration text).

18. def OAI.MeanPayoff.step line 86

    Also declared: ComparatorChallenges/RandomizedMeanPayoff.lean:86 (same declaration text).

19. def OAI.MeanPayoff.run line 97

    Also declared: ComparatorChallenges/RandomizedMeanPayoff.lean:97 (same declaration text).

20. def OAI.MeanPayoff.padBits line 101

    Also declared: ComparatorChallenges/RandomizedMeanPayoff.lean:101 (same declaration text).

21. def OAI.MeanPayoff.result line 104

    Also declared: ComparatorChallenges/RandomizedMeanPayoff.lean:104 (same declaration text).

22. def OAI.MeanPayoff.CorrectOutput line 107

    Also declared: ComparatorChallenges/RandomizedMeanPayoff.lean:107 (same declaration text).

23. def OAI.MeanPayoff.MainClaim line 113

    Also declared: ComparatorChallenges/RandomizedMeanPayoff.lean:113 (same declaration text).

24. def OAI.MeanPayoff.Deterministic line 122
25. def OAI.MeanPayoff.DeterministicMainClaim line 124