`OAI/Combinatorics/ContingencyTables/Counting/`

2639 declarations, 0 contain sorry, 0 declared as axioms; 206 files

Files

AnnealingMultipliers.lean 3 declarations
CompanionAnnealing.lean 9 declarations
CompanionArithmeticProposal.lean 28 declarations
CompanionArithmeticStep.lean 10 declarations
CompanionBinIntervals.lean 11 declarations
CompanionBinPopulation.lean 9 declarations
CompanionBooleanKernel.lean 17 declarations
CompanionBooleanPhase.lean 15 declarations
CompanionBoundedWalkProgram.lean 39 declarations
CompanionBoundedWalkSemantics.lean 6 declarations
CompanionCanonicalEncoding.lean 7 declarations
CompanionCanonicalHistory.lean 15 declarations
CompanionCanonicalHistoryLaw.lean 13 declarations
CompanionCanonicalPhaseLaw.lean 12 declarations
CompanionCanonicalPhaseSupport.lean 2 declarations
CompanionCappedReturn.lean 10 declarations
CompanionCappedReturnProgram.lean 9 declarations
CompanionCellCatalogProgram.lean 23 declarations
CompanionChainValidator.lean 18 declarations
CompanionCodeBounds.lean 9 declarations
CompanionComputedInitial.lean 18 declarations
CompanionComputedProposal.lean 8 declarations
CompanionConcentration.lean 7 declarations
CompanionCorrectionArithmetic.lean 11 declarations
CompanionCorrectionSamples.lean 7 declarations
CompanionEstimatorAmplification.lean 5 declarations
CompanionEstimatorConfidence.lean 7 declarations
CompanionEstimatorRange.lean 5 declarations
CompanionEstimatorWords.lean 7 declarations
CompanionEvaluatedWeightLaw.lean 3 declarations
CompanionEvaluatedWeightProgram.lean 21 declarations
CompanionFactorialApplication.lean 21 declarations
CompanionFarMass.lean 4 declarations
CompanionFlatReturnProgram.lean 20 declarations
CompanionFractionSize.lean 6 declarations
CompanionHistoryReadback.lean 15 declarations
CompanionHistorySize.lean 11 declarations
CompanionInitialDraw.lean 14 declarations
CompanionInitialMatrixProgram.lean 33 declarations
CompanionInitialStoredProgram.lean 24 declarations
CompanionInitialization.lean 4 declarations
CompanionInitializedRestartJoint.lean 3 declarations
CompanionInitializedRestartLaw.lean 4 declarations
CompanionInitializedRestartProgram.lean 30 declarations
CompanionInitializedRestartSemantics.lean 4 declarations
CompanionLabelMetadataProgram.lean 19 declarations
CompanionMetropolisLaw.lean 5 declarations
CompanionMetropolisProgram.lean 34 declarations
CompanionMetropolisWordProgram.lean 31 declarations
CompanionMetropolisWordSemantics.lean 6 declarations
CompanionMinMass.lean 5 declarations
CompanionMultiplierAgreement.lean 12 declarations
CompanionMultiplierMatrixProgram.lean 35 declarations
CompanionMultiplierProgram.lean 12 declarations
CompanionMultiplierUpdate.lean 5 declarations
CompanionNearMass.lean 4 declarations
CompanionNeighborProgram.lean 8 declarations
CompanionObservableApplication.lean 2 declarations
CompanionObservationPadding.lean 4 declarations
CompanionObservationQueriesLaw.lean 9 declarations
CompanionObservationQueriesProgram.lean 31 declarations
CompanionObservedUpdateLaw.lean 5 declarations
CompanionObservedUpdateProgram.lean 12 declarations
CompanionOracleAcceptance.lean 15 declarations
CompanionOracleBudget.lean 5 declarations
CompanionOracleChain.lean 8 declarations
CompanionOracleCorrection.lean 23 declarations
CompanionOracleCut.lean 5 declarations
CompanionOracleDensity.lean 19 declarations
CompanionOracleDraw.lean 20 declarations
CompanionOracleEstimator.lean 13 declarations
CompanionOracleFibres.lean 11 declarations
CompanionOracleFiniteStep.lean 11 declarations
CompanionOracleJointLaw.lean 7 declarations
CompanionOracleKernel.lean 11 declarations
CompanionOracleMixing.lean 8 declarations
CompanionOracleRational.lean 28 declarations
CompanionOracleSchedule.lean 12 declarations
CompanionOrderedProposal.lean 11 declarations
CompanionOrderedReturn.lean 10 declarations
CompanionOuterHistoryProgram.lean 22 declarations
CompanionOuterPhaseLaw.lean 3 declarations
CompanionOuterPhaseProgram.lean 67 declarations
CompanionOuterPhaseSemantics.lean 9 declarations
CompanionOuterWidths.lean 7 declarations
CompanionPhaseComposition.lean 9 declarations
CompanionPhaseContextProgram.lean 24 declarations
CompanionPhaseContinuation.lean 10 declarations
CompanionPhaseCounts.lean 17 declarations
CompanionPhaseFinishProgram.lean 41 declarations
CompanionPhaseFinishSemantics.lean 13 declarations
CompanionPhaseOracleError.lean 16 declarations
CompanionPhaseSize.lean 7 declarations
CompanionPhaseTrajectory.lean 15 declarations
CompanionPhaseTrialLaw.lean 4 declarations
CompanionPhaseTrialProgram.lean 21 declarations
CompanionPhaseWords.lean 11 declarations
CompanionPhysicalNormalizer.lean 9 declarations
CompanionPhysicalTables.lean 16 declarations
CompanionProjectedHistory.lean 7 declarations
CompanionRatioSamples.lean 11 declarations
CompanionRationalUpdates.lean 18 declarations
CompanionReferenceAccuracy.lean 4 declarations
CompanionRepeatedReturnLaw.lean 9 declarations
CompanionRepeatedReturnProgram.lean 36 declarations
CompanionRestartContinuation.lean 3 declarations
CompanionRestartDataLaw.lean 8 declarations
CompanionRestartInitializer.lean 36 declarations
CompanionRestartNativeLaw.lean 4 declarations
CompanionRestartPadding.lean 7 declarations
CompanionRestartProgram.lean 42 declarations
CompanionRestartSchedule.lean 39 declarations
CompanionRestartScheduleSemantics.lean 7 declarations
CompanionRestartSemantics.lean 9 declarations
CompanionRestartStageLaw.lean 9 declarations
CompanionRestartStageProgram.lean 26 declarations
CompanionRestartSupport.lean 5 declarations
CompanionReturnIteration.lean 3 declarations
CompanionReturnWords.lean 11 declarations
CompanionScaleSizes.lean 13 declarations
CompanionStateMultiplierProgram.lean 23 declarations
CompanionStoredRepresentation.lean 20 declarations
CompanionStoredShape.lean 7 declarations
CompanionStoredSize.lean 9 declarations
CompanionTargetMixing.lean 9 declarations
CompanionTargetTrace.lean 8 declarations
CompanionTerminalApplication.lean 4 declarations
CompanionTerminalMass.lean 9 declarations
CompanionTerminalParameters.lean 13 declarations
CompanionTerminalRegions.lean 11 declarations
CompanionTrace.lean 19 declarations
CompanionTraceProgram.lean 13 declarations
CompanionTraceWords.lean 22 declarations
CompanionTrajectoryLaw.lean 1 declarations
CompanionTrajectoryProgram.lean 5 declarations
CompanionTransitionWidth.lean 10 declarations
CompanionTrialPadding.lean 4 declarations
CompanionUniformPhaseBounds.lean 3 declarations
CompanionUniformPhaseWidth.lean 36 declarations
CompanionWarmReturn.lean 10 declarations
CompanionWarmStart.lean 9 declarations
CompanionWeightOracle.lean 13 declarations
ComputedCountingParameters.lean 18 declarations
ComputedCountingWords.lean 4 declarations
ComputedCountingZero.lean 3 declarations
CountingActualInitialization.lean 2 declarations
CountingActualPhase.lean 4 declarations
CountingActualSettings.lean 8 declarations
CountingAdaptiveInputProgram.lean 28 declarations
CountingAdaptiveInputSemantics.lean 4 declarations
CountingAdaptiveReserve.lean 4 declarations
CountingAmplifiedLaw.lean 4 declarations
CountingAmplifiedProgram.lean 15 declarations
CountingAmplifiedSourceLaw.lean 2 declarations
CountingBaseProgram.lean 23 declarations
CountingBranchBudgetBound.lean 2 declarations
CountingBranchMachine.lean 8 declarations
CountingBranchProgram.lean 35 declarations
CountingBranchSemantics.lean 10 declarations
CountingBranchSuccess.lean 2 declarations
CountingCoefficientBounds.lean 5 declarations
CountingCoefficientProgram.lean 17 declarations
CountingComputedSettings.lean 28 declarations
CountingConditionalAssembly.lean 1 declarations
CountingControlBounds.lean 8 declarations
CountingDirectBudgetBound.lean 2 declarations
CountingDirectLaw.lean 11 declarations
CountingDirectProgram.lean 50 declarations
CountingDirectSemantics.lean 12 declarations
CountingDirectSuccess.lean 1 declarations
CountingDirectWordBound.lean 3 declarations
CountingExecutedMachine.lean 14 declarations
CountingHistoryApplication.lean 1 declarations
CountingInputParser.lean 29 declarations
CountingInputSymbols.lean 5 declarations
CountingLabelCountProgram.lean 13 declarations
CountingMachineEvents.lean 2 declarations
CountingMachineMainEvent.lean 1 declarations
CountingMachineTime.lean 1 declarations
CountingMainMachine.lean 1 declarations
CountingMarkerBounds.lean 4 declarations
CountingOracleScheduleBounds.lean 3 declarations
CountingOracleScheduleProgram.lean 52 declarations
CountingOracleWordBounds.lean 19 declarations
CountingPhaseParametersProgram.lean 36 declarations
CountingPhaseScalarProgram.lean 20 declarations
CountingPhaseSchedule.lean 24 declarations
CountingPositiveProgram.lean 32 declarations
CountingPositiveSemantics.lean 9 declarations
CountingPositiveWordBound.lean 11 declarations
CountingPositiveWordLaw.lean 3 declarations
CountingPreparedState.lean 32 declarations
CountingPublicAccuracy.lean 2 declarations
CountingPublicControls.lean 6 declarations
CountingPublicInputBounds.lean 10 declarations
CountingPublicTerminalBounds.lean 7 declarations
CountingPublicWordBound.lean 6 declarations
CountingScheduleSizes.lean 7 declarations
CountingSettingsCorrect.lean 4 declarations
CountingTerminalBounds.lean 6 declarations
CountingTerminalProgram.lean 16 declarations
CountingTerminalSchedule.lean 12 declarations
CountingWordsBound.lean 6 declarations
EstimatorWordBanks.lean 7 declarations
InitialMultiplierValues.lean 14 declarations
InitializationBrackets.lean 11 declarations