OAI/Computability/MinUncut/Games/
1074 declarations, 0 contain sorry, 0 declared as axioms; 37 files
Files
- Actual.lean 103 declarations
- AdaptiveKernel.lean 8 declarations
- AffineLabels.lean 12 declarations
- Basic.lean 81 declarations
- FinalCNFHeader.lean 79 declarations
- FinalCNFOutput.lean 44 declarations
- FinalCNFPattern.lean 23 declarations
- FinalCNFStream.lean 86 declarations
- FiniteNoise.lean 7 declarations
- GraphCounterModel.lean 56 declarations
- GraphIterationBounds.lean 12 declarations
- HintSections.lean 6 declarations
- HintSimulation.lean 16 declarations
- HintSoundness.lean 4 declarations
- IncidenceProbability.lean 55 declarations
- JointCoefficient.lean 7 declarations
- JointHintBound.lean 7 declarations
- JointHintSampling.lean 7 declarations
- JointInner.lean 20 declarations
- KernelSampling.lean 19 declarations
- LabelBound.lean 24 declarations
- MaskRowKernel.lean 12 declarations
- OuterQuestions.lean 95 declarations
- Parameters.lean 12 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
- QuestionArithmetic.lean 12 declarations
- QuestionExpressions.lean 14 declarations
- Reindexing.lean 13 declarations
- Sampling.lean 49 declarations
- Target.lean 19 declarations
- TotalVariation.lean 32 declarations
- TripleKernel.lean 4 declarations