OAI/Computability/MinUncut/Games/HintSoundness.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MinUncut.Outer.hintedAcceptance line 15
2. lemma OAI.MinUncut.Outer.hintedAcceptance_generated line 23
3. theorem OAI.MinUncut.Outer.shared_hint_soundness line 30
4. lemma OAI.MinUncut.Outer.shared_hint_rate_vanishes line 64