OAI/Probability/EntangledGames/Model.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.ThresholdParallelRepetition.Game line 10

   Also declared: ComparatorChallenges/EntangledGames.lean:10 (same declaration text).

2. structure OAI.ThresholdParallelRepetition.Strategy line 16

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

3. def OAI.ThresholdParallelRepetition.Strategy.born line 28

   Also declared: ComparatorChallenges/EntangledGames.lean:28 (same declaration text).

4. abbrev OAI.ThresholdParallelRepetition.SingleStrategy line 33

   Also declared: ComparatorChallenges/EntangledGames.lean:33 (same declaration text).

5. def OAI.ThresholdParallelRepetition.successProbability line 36

   Also declared: ComparatorChallenges/EntangledGames.lean:36 (same declaration text).

6. def OAI.ThresholdParallelRepetition.entangledValue line 41

   Also declared: ComparatorChallenges/EntangledGames.lean:41 (same declaration text).

7. abbrev OAI.ThresholdParallelRepetition.RepeatedStrategy line 44

   Also declared: ComparatorChallenges/EntangledGames.lean:44 (same declaration text).

8. def OAI.ThresholdParallelRepetition.wins line 48

   Also declared: ComparatorChallenges/EntangledGames.lean:48 (same declaration text).

9. def OAI.ThresholdParallelRepetition.thresholdProbability line 53

   Also declared: ComparatorChallenges/EntangledGames.lean:53 (same declaration text).

10. def OAI.ThresholdParallelRepetition.thresholdValue line 61

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