OAI/Probability/DirectionalWalk/
1355 declarations, 0 contain sorry, 0 declared as axioms; 69 files
Files
- ActualComparison.lean 5 declarations
- Avoidance.lean 18 declarations
- Axis.lean 45 declarations
- AxisBridges.lean 16 declarations
- AxisCubes.lean 31 declarations
- BandContacts.lean 7 declarations
- BridgeKernels.lean 13 declarations
- BridgeWords.lean 19 declarations
- BufferEntropy.lean 3 declarations
- BufferedComparison.lean 7 declarations
- Columns.lean 30 declarations
- CommonBands.lean 10 declarations
- CommonBlocks.lean 36 declarations
- ContactBins.lean 11 declarations
- ContactEvents.lean 19 declarations
- ContactGeometry.lean 27 declarations
- ContactJoins.lean 6 declarations
- CountWindows.lean 9 declarations
- CylinderLaw.lean 40 declarations
- DirectionalReduction.lean 42 declarations
- DyadicBounds.lean 10 declarations
- DyadicCover.lean 14 declarations
- Entropy.lean 26 declarations
- EntropyBounds.lean 9 declarations
- EntropyLaws.lean 8 declarations
- EntropyTransforms.lean 16 declarations
- EntropyUpperBound.lean 16 declarations
- Escape.lean 30 declarations
- ExperimentContact.lean 15 declarations
- FiniteContacts.lean 3 declarations
- FreshContacts.lean 17 declarations
- FreshPaths.lean 17 declarations
- HittingWords.lean 29 declarations
- Information.lean 19 declarations
- JoinedBridges.lean 15 declarations
- LateContacts.lean 20 declarations
- LateEndpoints.lean 8 declarations
- LatePrefixes.lean 6 declarations
- Main.lean 3 declarations
- MarkedSums.lean 15 declarations
- MixedTapes.lean 7 declarations
- Model.lean 40 declarations
- PosteriorMax.lean 35 declarations
- PosteriorTails.lean 25 declarations
- Radii.lean 40 declarations
- RadiusLaunch.lean 33 declarations
- RadiusMoment.lean 28 declarations
- RadiusTails.lean 32 declarations
- Records.lean 40 declarations
- Regeneration.lean 14 declarations
- RegenerativeTapes.lean 12 declarations
- RelativeContinuation.lean 10 declarations
- RelativeEntropy.lean 7 declarations
- Renewal.lean 37 declarations
- RenewalFactorization.lean 37 declarations
- RenewalMass.lean 17 declarations
- ReversedContacts.lean 12 declarations
- ShiftedBlocks.lean 13 declarations
- Shifts.lean 21 declarations
- SignedInformation.lean 12 declarations
- Slabs.lean 17 declarations
- SumLaws.lean 20 declarations
- ThreeChunks.lean 10 declarations
- ThreeLists.lean 11 declarations
- TotalEntropy.lean 15 declarations
- TwoTapes.lean 46 declarations
- Widths.lean 18 declarations
- WordPosterior.lean 33 declarations
- Words.lean 23 declarations