`OAI/Combinatorics/ContingencyTables/Sampling/`

2149 declarations, 0 contain sorry, 0 declared as axioms; 246 files

Files

AllBalancedWidths.lean 4 declarations
AllSamplingAccuracy.lean 6 declarations
AllSamplingMachine.lean 8 declarations
AllSamplingProgram.lean 25 declarations
AllSamplingSemantics.lean 6 declarations
AllSmallBoolean.lean 8 declarations
AllSmallChain.lean 8 declarations
AllSmallFibres.lean 4 declarations
AllSmallInitialization.lean 1 declarations
AllSmallOuter.lean 4 declarations
AllSmallRational.lean 5 declarations
CompiledResidualCorrection.lean 3 declarations
ExactBoxBounds.lean 5 declarations
ExactBranchChoice.lean 7 declarations
ExactCoreCost.lean 4 declarations
ExactCoreProgram.lean 7 declarations
ExactCorrectionPrefix.lean 4 declarations
ExactEntryBoxBound.lean 2 declarations
ExactExpectedTime.lean 2 declarations
ExactGateCost.lean 2 declarations
ExactGatePhysical.lean 6 declarations
ExactGatePolynomial.lean 3 declarations
ExactGatePrefix.lean 5 declarations
ExactGatePublic.lean 11 declarations
ExactGateTyped.lean 4 declarations
ExactInputBounds.lean 9 declarations
ExactIntegerChoice.lean 13 declarations
ExactIntegerOnline.lean 14 declarations
ExactIntegerPhysical.lean 2 declarations
ExactIntegerProgram.lean 12 declarations
ExactIntegerRetry.lean 15 declarations
ExactMatrixLimits.lean 2 declarations
ExactMatrixLookup.lean 2 declarations
ExactMatrixTableLaw.lean 4 declarations
ExactMatrixTrial.lean 16 declarations
ExactOrdinaryProgram.lean 10 declarations
ExactPhysicalCost.lean 6 declarations
ExactPhysicalProgram.lean 6 declarations
ExactPrefixFeasibility.lean 6 declarations
ExactPrefixLaw.lean 7 declarations
ExactPrintCost.lean 5 declarations
ExactPublicCost.lean 7 declarations
ExactPublicLaw.lean 8 declarations
ExactPublicPrefix.lean 12 declarations
ExactRareCost.lean 4 declarations
ExactRareMeasureBound.lean 3 declarations
ExactRarePublicBound.lean 2 declarations
ExactResidualInput.lean 9 declarations
ExactSamplingMachine.lean 2 declarations
ExactSamplingParameters.lean 27 declarations
ExactTablePrefix.lean 14 declarations
ExactTypedCost.lean 2 declarations
ExactTypedProgram.lean 6 declarations
FirstPaperBinaryParameters.lean 4 declarations
FirstPaperBooleanDraw.lean 6 declarations
FirstPaperBooleanProposal.lean 5 declarations
FirstPaperBooleanStep.lean 2 declarations
FirstPaperBoundedLaw.lean 1 declarations
FirstPaperChildMass.lean 2 declarations
FirstPaperCodeNeighbors.lean 15 declarations
FirstPaperCodeProposal.lean 20 declarations
FirstPaperCompletionComparison.lean 3 declarations
FirstPaperCompletionLaws.lean 7 declarations
FirstPaperComputedCatalog.lean 8 declarations
FirstPaperContextBox.lean 2 declarations
FirstPaperContextChildren.lean 1 declarations
FirstPaperContextTransport.lean 6 declarations
FirstPaperCorrectionBudget.lean 4 declarations
FirstPaperExposureVariance.lean 3 declarations
FirstPaperFeasibility.lean 12 declarations
FirstPaperFiniteSampler.lean 3 declarations
FirstPaperFullVariance.lean 1 declarations
FirstPaperIdealKernel.lean 3 declarations
FirstPaperIdealRejection.lean 3 declarations
FirstPaperImplementedLaw.lean 5 declarations
FirstPaperInitialization.lean 4 declarations
FirstPaperInputWordBudget.lean 7 declarations
FirstPaperJointLaw.lean 7 declarations
FirstPaperLocalNeighbors.lean 10 declarations
FirstPaperLocalProposal.lean 3 declarations
FirstPaperOuterBudget.lean 11 declarations
FirstPaperPhysicalMarginal.lean 16 declarations
FirstPaperPhysicalVariance.lean 7 declarations
FirstPaperPreparedProposal.lean 27 declarations
FirstPaperProfiles.lean 4 declarations
FirstPaperProposal.lean 6 declarations
FirstPaperRationalMixing.lean 4 declarations
FirstPaperSmallChain.lean 11 declarations
FirstPaperSmallKernel.lean 9 declarations
FirstPaperSmallMixing.lean 7 declarations
FirstPaperStationaryMass.lean 4 declarations
FirstPaperSuccessEvent.lean 14 declarations
FirstPaperSuccessRatio.lean 6 declarations
FirstPaperTransversalVariance.lean 3 declarations
FirstPaperWordBudget.lean 7 declarations
GreedyCellMachine.lean 3 declarations
GreedyFeasibleTable.lean 10 declarations
GreedyPublicMachine.lean 6 declarations
GreedyPublicProgram.lean 17 declarations
GreedyRowComplexity.lean 5 declarations
GreedyRowMachine.lean 8 declarations
GreedyTableComplexity.lean 7 declarations
GreedyTableMachine.lean 8 declarations
InverseSmallRepair.lean 4 declarations
OriginalBalancedJoint.lean 6 declarations
OriginalBoxLaw.lean 8 declarations
OriginalBoxPush.lean 3 declarations
OriginalOuterVector.lean 9 declarations
OriginalPointBounds.lean 2 declarations
OriginalProfileEntries.lean 4 declarations
OriginalProfileProgram.lean 19 declarations
OriginalResidualVector.lean 13 declarations
OriginalTableBox.lean 14 declarations
OriginalTableCardinality.lean 7 declarations
OriginalTableCheck.lean 9 declarations
OriginalTableEnumeration.lean 16 declarations
OriginalTableIndex.lean 8 declarations
OriginalTrialVector.lean 14 declarations
OuterMatrixSemantics.lean 7 declarations
OuterTableProgram.lean 45 declarations
OuterTrialProgram.lean 16 declarations
PaddedCompletions.lean 13 declarations
PaddedEnumerationBounds.lean 7 declarations
PaddedResidualProgram.lean 15 declarations
PaddedResidualSemantics.lean 4 declarations
Padding.lean 11 declarations
PhysicalCompletionFibres.lean 9 declarations
PhysicalContextVariance.lean 2 declarations
PhysicalCostPolynomial.lean 1 declarations
PhysicalEdgeMargins.lean 2 declarations
PhysicalEventBounds.lean 11 declarations
PhysicalExchangeMargins.lean 2 declarations
PhysicalGraphDegree.lean 3 declarations
PhysicalGraphVertices.lean 4 declarations
PhysicalLargeProfiles.lean 4 declarations
PhysicalMassBound.lean 4 declarations
PhysicalOriginalResiduals.lean 1 declarations
PhysicalPaperCapacity.lean 1 declarations
PhysicalPartialSequence.lean 5 declarations
PhysicalPrefixEnergies.lean 10 declarations
PhysicalPrefixTail.lean 2 declarations
PhysicalPublicLaw.lean 4 declarations
PhysicalRepairGraph.lean 6 declarations
PhysicalRepairMargins.lean 1 declarations
PhysicalRepairMass.lean 5 declarations
PhysicalResidualMargins.lean 8 declarations
PhysicalRetryIteration.lean 5 declarations
PhysicalRetryTail.lean 13 declarations
PhysicalSmallEnergy.lean 3 declarations
PhysicalSmallGraph.lean 5 declarations
ProfileBoxEnumeration.lean 8 declarations
ProfileBoxIndex.lean 14 declarations
ProfileBoxLaw.lean 5 declarations
ProfileCodeEquality.lean 15 declarations
ProfileExchangeCandidates.lean 11 declarations
ProfileExchangeProgram.lean 9 declarations
ProfileInverseRepairProgram.lean 12 declarations
ProfileMatrixEntry.lean 24 declarations
ProfileMatrixEntryRuntime.lean 10 declarations
ProfileMatrixLaw.lean 10 declarations
ProfileMatrixProgram.lean 17 declarations
ProfileMatrixSemantics.lean 7 declarations
ProfilePublicMachine.lean 7 declarations
ProfilePublicProgram.lean 15 declarations
ProfilePublicSemantics.lean 5 declarations
ProfileRepairProgram.lean 19 declarations
ProfileRetryProgram.lean 14 declarations
ProfileRetrySemantics.lean 1 declarations
ProfileRuntimeBound.lean 4 declarations
ProfileSamplingProgram.lean 12 declarations
ProfileScheduleProgram.lean 44 declarations
ProfileScheduleSemantics.lean 15 declarations
ProfileTerminalProgram.lean 23 declarations
ProfileTerminalSemantics.lean 8 declarations
ProfileTransitionCount.lean 13 declarations
ProfileTransitionCountSemantics.lean 8 declarations
ProfileTransitionProgram.lean 32 declarations
ProfileTransitionSemantics.lean 7 declarations
ProfileTrialCountProgram.lean 14 declarations
ProfileTrialProgram.lean 16 declarations
ProfileTrialSemantics.lean 3 declarations
ProfileVectorMeasureBounds.lean 5 declarations
ProfileWordProgram.lean 33 declarations
RareBranchRuntime.lean 7 declarations
Repair.lean 10 declarations
RepairFibres.lean 15 declarations
RepairLargeMass.lean 3 declarations
RepairPrefixes.lean 7 declarations
RepairResiduals.lean 10 declarations
RepairSmallMargins.lean 4 declarations
ResidualMixture.lean 18 declarations
SmallBalancedEncoding.lean 4 declarations
SmallBalancedMarginal.lean 4 declarations
SmallBoundsProgram.lean 5 declarations
SmallCellCatalogProgram.lean 17 declarations
SmallCellIndexProgram.lean 6 declarations
SmallChainBudget.lean 2 declarations
SmallComplementProgram.lean 7 declarations
SmallCompletionAcceptance.lean 2 declarations
SmallContextCoordinates.lean 12 declarations
SmallContextCount.lean 10 declarations
SmallContextEnumeration.lean 16 declarations
SmallContextFibres.lean 18 declarations
SmallCoordinateSums.lean 10 declarations
SmallDefectCodeTest.lean 4 declarations
SmallDefectLabels.lean 2 declarations
SmallEntries.lean 12 declarations
SmallExchangeListProgram.lean 13 declarations
SmallGraphProfiles.lean 8 declarations
SmallInverseRepairList.lean 14 declarations
SmallLineSumProgram.lean 12 declarations
SmallMarginSemantics.lean 2 declarations
SmallMarginTestProgram.lean 20 declarations
SmallPatternArithmetic.lean 8 declarations
SmallPatternProgram.lean 29 declarations
SmallProfileCode.lean 8 declarations
SmallProfileEncoding.lean 5 declarations
SmallProfileFlatCode.lean 14 declarations
SmallProfileRepair.lean 5 declarations
SmallProfileValidator.lean 25 declarations
SmallProposal.lean 4 declarations
SmallRepairCandidates.lean 3 declarations
SmallRepairCapacity.lean 1 declarations
SmallRepairCodeProgram.lean 18 declarations
SmallRepairGeometryProgram.lean 14 declarations
SmallRepairListProgram.lean 18 declarations
SmallRepairWords.lean 9 declarations
SmallResidualTotals.lean 5 declarations
SmallViewLookupProgram.lean 5 declarations
UnitBoxLaw.lean 5 declarations
UnitFiniteLaw.lean 8 declarations
UnitGraphEnergy.lean 1 declarations
UnitIntegerLaw.lean 8 declarations
UnitMatrixEntry.lean 26 declarations
UnitMatrixLaw.lean 9 declarations
UnitMatrixProgram.lean 17 declarations
UnitOriginalVector.lean 14 declarations
UnitOuterVector.lean 9 declarations
UnitOutputSemantics.lean 5 declarations
UnitProfileProgram.lean 16 declarations
UnitProfileSemantics.lean 4 declarations
UnitTerminalProgram.lean 21 declarations
UnitTerminalSemantics.lean 6 declarations
UnitTrialCountProgram.lean 13 declarations
UnitTrialProgram.lean 18 declarations
UnitTrialSemantics.lean 3 declarations