OAI/NumberTheory/GaussianMoat/
903 declarations, 0 contain sorry, 0 declared as axioms; 41 files
Files
- AccurateScales.lean 22 declarations
- BackwardCoverage.lean 16 declarations
- BatchCertificate.lean 17 declarations
- BatchParameters.lean 12 declarations
- BooleanCube.lean 31 declarations
- CommonBlocks.lean 11 declarations
- ConditionalSampling.lean 25 declarations
- DenseBins.lean 16 declarations
- DifferenceSampling.lean 17 declarations
- DyadicSieve.lean 15 declarations
- EntropyBand.lean 17 declarations
- FiniteEntropy.lean 41 declarations
- FiniteLaw.lean 57 declarations
- FreshEntropy.lean 26 declarations
- GroupCoverage.lean 25 declarations
- Information.lean 32 declarations
- InformationTelescope.lean 10 declarations
- KernelComposition.lean 16 declarations
- LatticeComponents.lean 48 declarations
- Main.lean 3 declarations
- Model.lean 5 declarations
- MultiscaleSchedule.lean 30 declarations
- PassingInformation.lean 9 declarations
- PointEnrichment.lean 37 declarations
- PosteriorSampling.lean 18 declarations
- PrimeMass.lean 30 declarations
- ResidueQuotient.lean 14 declarations
- SeparatedParameters.lean 16 declarations
- SieveCertificate.lean 10 declarations
- SieveSmoothing.lean 3 declarations
- SignConcentration.lean 11 declarations
- SignedArithmetic.lean 15 declarations
- SignedGeometry.lean 53 declarations
- SignedResidues.lean 19 declarations
- Smoothing.lean 22 declarations
- TimeLaw.lean 39 declarations
- WalkGeometry.lean 42 declarations
- WalkPackage.lean 25 declarations
- WalkWords.lean 18 declarations
- WindowBatch.lean 2 declarations
- WindowParameters.lean 28 declarations