OAI/Computability/UniqueGames/Games/
664 declarations, 0 contain sorry, 0 declared as axioms; 19 files
Files
- CompletedSamplingLemmas.lean 48 declarations
- FactorizationLemmas.lean 65 declarations
- FinishBoundsLemmas.lean 55 declarations
- MaskedVariation.lean 14 declarations
- Overlap.lean 10 declarations
- PartialRevealLemmas.lean 64 declarations
- ProductLemmas.lean 88 declarations
- ProductMachineSemantics.lean 31 declarations
- ProductSoundness.lean 8 declarations
- ProductTarget.lean 23 declarations
- RoundingLemmas.lean 79 declarations
- SelectedCommonMarginalLemmas.lean 54 declarations
- SelectedInformationLemmas.lean 48 declarations
- SelectionSequence.lean 13 declarations
- SubdivisionEncoding.lean 7 declarations
- SubdivisionTarget.lean 30 declarations
- UniformRoundingTarget.lean 4 declarations
- UniformTarget.lean 15 declarations
- Variation.lean 8 declarations