OAI/Computability/MaxCut/Games/
5569 declarations, 0 contain sorry, 0 declared as axioms; 117 files
Files
- A1Reduction.lean 70 declarations
- A4IndexCount.lean 59 declarations
- A5Induction.lean 33 declarations
- A5ReverseIndex.lean 51 declarations
- A5Scalar.lean 77 declarations
- ActualAdviceStochasticBridge.lean 53 declarations
- ActualCompleteness.lean 29 declarations
- AddressGame.lean 126 declarations
- AddressOdometerSchedule.lean 56 declarations
- AddressTupleLoaded.lean 66 declarations
- AdviceImageLaw.lean 71 declarations
- AffineWitness.lean 47 declarations
- AffineWitnessFiniteDensity.lean 8 declarations
- AnswerBridge.lean 57 declarations
- BaseDetection.lean 84 declarations
- Basic.lean 62 declarations
- Basic2.lean 81 declarations
- BlockRestriction.lean 83 declarations
- CanonicalAddress.lean 59 declarations
- CanonicalWordTemplate.lean 61 declarations
- Clone100Counting.lean 70 declarations
- CloneTable.lean 27 declarations
- Concatenation.lean 49 declarations
- CoordinateTransport.lean 51 declarations
- Deletion.lean 55 declarations
- Derivatives.lean 63 declarations
- DyadicErrors.lean 6 declarations
- EquationLookup.lean 52 declarations
- FinalCNFHeader.lean 79 declarations
- FinalCNFOutput.lean 44 declarations
- FinalCNFPattern.lean 23 declarations
- FinalCNFStream.lean 86 declarations
- FinalParameters.lean 79 declarations
- FinishBounds.lean 11 declarations
- FiniteFieldChoice.lean 73 declarations
- FiniteNoise.lean 7 declarations
- GamesAdapter.lean 10 declarations
- GapSemantics.lean 27 declarations
- GenericPolynomial.lean 37 declarations
- GraphIterationBounds.lean 12 declarations
- HarmonicLoss.lean 46 declarations
- Identities.lean 54 declarations
- Incidence.lean 113 declarations
- IncidenceExtraction.lean 99 declarations
- IncidenceGap.lean 34 declarations
- Information.lean 108 declarations
- KMSAnalyticFrequencyShift.lean 35 declarations
- KMSAnalyticHybridEnergyImageSplit.lean 55 declarations
- KMSAnalyticHybridEnergyImageTransportCore.lean 33 declarations
- KMSAnalyticRestrictionTransport.lean 52 declarations
- KMSAnalyticSmallInvariant.lean 52 declarations
- KMSBasisComparisonNeighborsFiberFunctional.lean 77 declarations
- KMSBasisComparisonPseudorandomTupleMap.lean 60 declarations
- KMSBasisInvariant.lean 9 declarations
- KMSFourthMomentMixedRestriction.lean 40 declarations
- KMSFourthMomentPointShuffle.lean 45 declarations
- KMSFourthMomentZoomInvariant.lean 51 declarations
- KMSInjectionCountBounds.lean 47 declarations
- KMSMomentConstants.lean 79 declarations
- KMSMomentTheorem.lean 50 declarations
- Kernels.lean 4 declarations
- LabelBound.lean 78 declarations
- LevelInequality.lean 67 declarations
- MaskMoment.lean 92 declarations
- MatrixCharacters.lean 59 declarations
- MatrixChartDegreeNeighbors.lean 54 declarations
- MatrixChartKMSNeighbors.lean 44 declarations
- MatrixChartShortcode.lean 53 declarations
- MatrixFourier.lean 21 declarations
- MatrixGap.lean 3 declarations
- MatrixNoise.lean 37 declarations
- NP.lean 16 declarations
- NoiseEnumeration.lean 67 declarations
- OccurrenceTupleOrder.lean 78 declarations
- OperatorNorm.lean 38 declarations
- OrientationVectors.lean 98 declarations
- OrientedBlockKernel.lean 57 declarations
- Parameters.lean 12 declarations
- PartnerFullSampling.lean 56 declarations
- PartnerProjection.lean 104 declarations
- Pinsker.lean 30 declarations
- PoweringGlobalEnumeration.lean 20 declarations
- PoweringInitializeFrame.lean 35 declarations
- PoweringMasterState.lean 25 declarations
- PoweringPlanBudget.lean 8 declarations
- PoweringPolynomialBudget.lean 18 declarations
- Probability.lean 5 declarations
- Product.lean 68 declarations
- ProductSoundness.lean 9 declarations
- ProductTarget.lean 53 declarations
- RankAdditivity.lean 107 declarations
- RawMapLaw.lean 64 declarations
- RawPartnerTarget.lean 25 declarations
- RawPrivateTable.lean 16 declarations
- RealTarget.lean 21 declarations
- Reindexing.lean 13 declarations
- Restriction.lean 65 declarations
- RowErasure.lean 87 declarations
- RowErasureConcentration.lean 21 declarations
- RowErasureSelection.lean 72 declarations
- RowErasureSelectionNormalization.lean 7 declarations
- RowErasureSliceQuotient.lean 12 declarations
- SeparationCertificate.lean 37 declarations
- ShortcodeFiberSampling.lean 16 declarations
- SplitMaps.lean 7 declarations
- StageData.lean 14 declarations
- StageNoiseRecurrence.lean 50 declarations
- Subdivision.lean 38 declarations
- SubmoduleInterval.lean 76 declarations
- Target.lean 19 declarations
- Theorem.lean 2 declarations
- TranslationTarget.lean 19 declarations
- UniformPartition.lean 13 declarations
- UpperBound.lean 24 declarations
- UpperMobius.lean 58 declarations
- WeightRounding.lean 72 declarations
- Weighted.lean 72 declarations