OAI/Combinatorics/KMedianRecovery/Sampling/
464 declarations, 0 contain sorry, 0 declared as axioms; 29 files
Files
- ExtractPrefix.lean 17 declarations
- FairPrefix.lean 2 declarations
- InverseCDF.lean 39 declarations
- Kernel.lean 14 declarations
- MetricBestProbability.lean 3 declarations
- PrefixData.lean 14 declarations
- PrefixFreeMono.lean 5 declarations
- ProbabilityCompEquiv.lean 2 declarations
- ProbabilityProd.lean 8 declarations
- RationalSampling.lean 13 declarations
- RealizedKernel.lean 23 declarations
- SamplerContext.lean 28 declarations
- SamplerDraw.lean 26 declarations
- SamplerLaw.lean 10 declarations
- SamplerParameters.lean 26 declarations
- SamplerPrefixSuccess.lean 1 declarations
- SamplerResources.lean 17 declarations
- SamplerTraceMachine.lean 14 declarations
- SamplerUpdate.lean 19 declarations
- SamplerUpdateParts.lean 16 declarations
- SamplerWeights.lean 33 declarations
- SamplingPotential.lean 25 declarations
- SamplingRate.lean 18 declarations
- SamplingReference.lean 22 declarations
- SamplingStateMachine.lean 37 declarations
- SeedTensor.lean 21 declarations
- TensorEquiv.lean 6 declarations
- TerminalPrefix.lean 4 declarations
- ZeroFairSuccess.lean 1 declarations