OAI/Computability/PerfectCompleteness/Reduction/OddListGame.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PerfectCompleteness.OddListGame.base line 22
2. def OAI.PerfectCompleteness.OddListGame.game line 26
3. def OAI.PerfectCompleteness.OddListGame.responses line 31
4. theorem OAI.PerfectCompleteness.OddListGame.accepted_pair line 36
5. theorem OAI.PerfectCompleteness.OddListGame.success_le_randomized line 50
6. theorem OAI.PerfectCompleteness.OddListGame.value_le line 96
7. theorem OAI.PerfectCompleteness.OddListGame.endpointDetermined line 109
8. theorem OAI.PerfectCompleteness.OddListGame.repetition_halfRate line 126