OAI/Computability/UniqueGames/Reduction/
1941 declarations, 0 contain sorry, 0 declared as axioms; 48 files
Files
- ActualCanonicalLemmas.lean 68 declarations
- ActualCompleteness.lean 29 declarations
- ActualGame.lean 60 declarations
- ActualSourceLemmas.lean 30 declarations
- AddressMachineInitial.lean 41 declarations
- AddressMachineLoopLemmas.lean 33 declarations
- AddressMachineSpace.lean 62 declarations
- AddressOdometerSchedule.lean 56 declarations
- AddressOutcomeSpecs.lean 28 declarations
- AddressOutputSize.lean 27 declarations
- AddressTupleBody.lean 34 declarations
- AddressTupleBudget.lean 25 declarations
- AddressTupleCleanupLemmas.lean 66 declarations
- AddressTuplePolynomialLemmas.lean 59 declarations
- BinaryCoordinates.lean 12 declarations
- BinaryLinear.lean 19 declarations
- CanonicalBodyTemplateLemmas.lean 83 declarations
- CloneMachineModelLemmas.lean 35 declarations
- CloneTable.lean 27 declarations
- EncodingLemmas.lean 117 declarations
- ExplicitLemmas.lean 63 declarations
- FinalParametersLemmas.lean 38 declarations
- FinishReduction.lean 1 declarations
- FixedOutcomes.lean 21 declarations
- FromMatrixGap.lean 1 declarations
- GameEncodingSizeLemmas.lean 27 declarations
- GapSemanticsLemmas.lean 33 declarations
- IncidenceProbabilityLemmas.lean 64 declarations
- MachineAddressEdgeLemmas.lean 79 declarations
- MachineAddressHeaders.lean 96 declarations
- MachineFieldTemplate.lean 35 declarations
- MachineReverse.lean 17 declarations
- MachineRhsLoad.lean 21 declarations
- MachineSubstitution.lean 27 declarations
- MachineTemplateAddress.lean 44 declarations
- MachineTransducer.lean 27 declarations
- MachineTransfer.lean 33 declarations
- NoiseEnumerationLemmas.lean 19 declarations
- OuterCompletenessLemmas.lean 23 declarations
- OutputSize.lean 15 declarations
- OutputTranslationsLemmas.lean 53 declarations
- ParameterSelection.lean 7 declarations
- RealTargetLemmas.lean 62 declarations
- SourceEquationLookupLemmas.lean 110 declarations
- SourceIncidenceLemmas.lean 40 declarations
- TableReduction.lean 11 declarations
- WeightRounding.lean 33 declarations
- WeightedSource.lean 30 declarations