OAI/Combinatorics/EditApproximation/Coarse/
589 declarations, 0 contain sorry, 0 declared as axioms; 106 files
Files
- CoarseAccessAllocation.lean 10 declarations
- CoarseAccessControlSpace.lean 14 declarations
- CoarseAccuracy.lean 11 declarations
- CoarseArrayAllocation.lean 18 declarations
- CoarseArrayArithmetic.lean 6 declarations
- CoarseArrayControlSpace.lean 16 declarations
- CoarseArrayEval.lean 20 declarations
- CoarseArrayHistory.lean 3 declarations
- CoarseArrayRepresentation.lean 6 declarations
- CoarseArraySimulation.lean 19 declarations
- CoarseArrayStorage.lean 6 declarations
- CoarseBinaryBitWork.lean 1 declarations
- CoarseBinaryBox.lean 11 declarations
- CoarseBinaryCorrectness.lean 1 declarations
- CoarseBinaryEvaluation.lean 2 declarations
- CoarseBinaryGrid.lean 2 declarations
- CoarseBinaryRead.lean 2 declarations
- CoarseBinaryWeight.lean 5 declarations
- CoarseBitParameters.lean 1 declarations
- CoarseCellBounds.lean 6 declarations
- CoarseChildAllocation.lean 3 declarations
- CoarseChildControlSpace.lean 3 declarations
- CoarseChildrenBitWork.lean 1 declarations
- CoarseChildrenSimulation.lean 1 declarations
- CoarseCompactCells.lean 9 declarations
- CoarseCompleteArrayWork.lean 2 declarations
- CoarseCompletePolynomial.lean 3 declarations
- CoarseCompleteWork.lean 5 declarations
- CoarseDenominatorArithmetic.lean 3 declarations
- CoarseDescriptorWork.lean 3 declarations
- CoarseEntryCostSum.lean 4 declarations
- CoarseEstimator.lean 11 declarations
- CoarseFirstRequestCost.lean 2 declarations
- CoarseGlobalSeed.lean 15 declarations
- CoarseGridArithmetic.lean 7 declarations
- CoarseGridInvariant.lean 3 declarations
- CoarseGridTransfers.lean 3 declarations
- CoarseHistoryBound.lean 2 declarations
- CoarseIndexBudget.lean 5 declarations
- CoarseIndexedAllocation.lean 2 declarations
- CoarseIndexedArrayHistory.lean 4 declarations
- CoarseIndexedChildren.lean 1 declarations
- CoarseIndexedCompare.lean 4 declarations
- CoarseIndexedControlSpace.lean 3 declarations
- CoarseIndexedCostComparison.lean 1 declarations
- CoarseIndexedEntryCost.lean 2 declarations
- CoarseIndexedExecution.lean 0 declarations
- CoarseIndexedExtra.lean 1 declarations
- CoarseIndexedFrameWork.lean 3 declarations
- CoarseIndexedHistory.lean 5 declarations
- CoarseIndexedInitial.lean 3 declarations
- CoarseIndexedInitialCost.lean 3 declarations
- CoarseIndexedOverhead.lean 1 declarations
- CoarseIndexedRead.lean 4 declarations
- CoarseIndexedRootBound.lean 1 declarations
- CoarseIndexedRootCost.lean 3 declarations
- CoarseIndexedValue.lean 1 declarations
- CoarseInitial.lean 11 declarations
- CoarseInitialAllocation.lean 12 declarations
- CoarseInitialBinary.lean 6 declarations
- CoarseInitialControlSpace.lean 13 declarations
- CoarseInitialCost.lean 1 declarations
- CoarseInitialExecution.lean 3 declarations
- CoarseInitialLabels.lean 3 declarations
- CoarseInitialScalar.lean 1 declarations
- CoarseInitialStorage.lean 4 declarations
- CoarseInitialWork.lean 5 declarations
- CoarseInitialWorkBounds.lean 3 declarations
- CoarseInputGuard.lean 3 declarations
- CoarseInputPreparation.lean 2 declarations
- CoarseInputStorage.lean 3 declarations
- CoarseLabelWork.lean 4 declarations
- CoarseLevelMagnitude.lean 6 declarations
- CoarseNumericalUnit.lean 5 declarations
- CoarsePadding.lean 6 declarations
- CoarseParameters.lean 4 declarations
- CoarsePenaltyArithmetic.lean 6 declarations
- CoarsePrecision.lean 15 declarations
- CoarseProbability.lean 28 declarations
- CoarseRangeCopy.lean 2 declarations
- CoarseReadAccess.lean 5 declarations
- CoarseReadBudget.lean 2 declarations
- CoarseReadCore.lean 3 declarations
- CoarseReadEvaluation.lean 1 declarations
- CoarseReadLeafWork.lean 5 declarations
- CoarseReadNumericalBounds.lean 3 declarations
- CoarseReadTree.lean 8 declarations
- CoarseRootBounds.lean 2 declarations
- CoarseRootExecution.lean 5 declarations
- CoarseRootHistory.lean 2 declarations
- CoarseRootWork.lean 1 declarations
- CoarseSampling.lean 6 declarations
- CoarseScalarAllocation.lean 12 declarations
- CoarseScalarBounds.lean 4 declarations
- CoarseScalarControlSpace.lean 12 declarations
- CoarseSeed.lean 20 declarations
- CoarseSliceCopy.lean 2 declarations
- CoarseThresholdArithmetic.lean 7 declarations
- CoarseThresholdStep.lean 5 declarations
- CoarseThresholdStepWork.lean 2 declarations
- CoarseTransforms.lean 20 declarations
- CoarseWeightSimulation.lean 3 declarations
- CoarseWidthWork.lean 1 declarations
- CoarseWork.lean 15 declarations
- CoarseWorkAsymptotics.lean 9 declarations
- CoarseWorkEnvelope.lean 1 declarations