OAI/Combinatorics/MatchingCount/Algorithm/
1125 declarations, 0 contain sorry, 0 declared as axioms; 64 files
Files
- AffineWeights.lean 24 declarations
- Algorithm.lean 21 declarations
- AlgorithmLaw.lean 17 declarations
- EmpiricalDenom.lean 44 declarations
- FiniteStage.lean 11 declarations
- FiniteTrial.lean 13 declarations
- FiniteTrialLaw.lean 4 declarations
- Guard.lean 17 declarations
- GuardBudget.lean 6 declarations
- GuardProbability.lean 20 declarations
- OnlineAmplification.lean 8 declarations
- OnlineCoolingSchedule.lean 23 declarations
- OnlineGuard.lean 16 declarations
- OnlineGuardLaw.lean 3 declarations
- OnlineHistorySize.lean 11 declarations
- OnlineInitial.lean 30 declarations
- OnlineInitialLaw.lean 6 declarations
- OnlineLadderSchedule.lean 20 declarations
- OnlineLaw.lean 17 declarations
- OnlineMedian.lean 13 declarations
- OnlinePowerSearch.lean 16 declarations
- OnlineRequest.lean 47 declarations
- OnlineRequestLaw.lean 2 declarations
- OnlineSampleCount.lean 29 declarations
- OnlineScheduleNat.lean 20 declarations
- OnlineStage.lean 5 declarations
- OnlineTransitionLaw.lean 9 declarations
- OnlineTrial.lean 16 declarations
- OnlineTrialLaw.lean 6 declarations
- OutputLengthBound.lean 113 declarations
- RationalCounts.lean 2 declarations
- RationalEstimator.lean 24 declarations
- RationalObservables.lean 18 declarations
- RationalScale.lean 20 declarations
- RationalStart.lean 10 declarations
- RationalUpdate.lean 5 declarations
- RelabelWeights.lean 8 declarations
- SortedList.lean 54 declarations
- TreeCertificate.lean 2 declarations
- TreeEstimator.lean 14 declarations
- TreeGeneratedCertificate.lean 22 declarations
- TreeGeneratedMarked.lean 8 declarations
- TreeGeneratedPrepared.lean 22 declarations
- TreeGeneratedStage.lean 30 declarations
- TreeGeneratedTop.lean 7 declarations
- TreeGeneratedUpdate.lean 18 declarations
- TreeNumericStage.lean 6 declarations
- TreeNumericStatistics.lean 15 declarations
- TreeNumericStatisticsCorrect.lean 6 declarations
- TreeNumericSummaries.lean 17 declarations
- TreeObservables.lean 24 declarations
- TreeObservablesCorrect.lean 7 declarations
- TreeReweight.lean 16 declarations
- TreeReweightTable.lean 20 declarations
- TreeScaling.lean 28 declarations
- TreeScalingCorrect.lean 7 declarations
- TreeStageActivity.lean 28 declarations
- TreeStageStatistics.lean 17 declarations
- TreeStageStatisticsCorrect.lean 12 declarations
- TreeStageUpdateCorrect.lean 6 declarations
- TreeStatistics.lean 11 declarations
- TreeTierWeights.lean 18 declarations
- TreeWeights.lean 25 declarations
- TreeWeightsCorrect.lean 11 declarations