OAI/Probability/Ballisticity/Entropy/
124 declarations, 0 contain sorry, 0 declared as axioms; 19 files
Files
- AnchorEntropy.lean 11 declarations
- BadWindowEntropy.lean 8 declarations
- BufferCostBounds.lean 5 declarations
- CanonicalLogExcess.lean 6 declarations
- DominatedEntropy.lean 8 declarations
- EntropyContinuousTests.lean 6 declarations
- EntropyDecorrelation.lean 1 declarations
- EntropyDensity.lean 1 declarations
- EntropyEvent.lean 2 declarations
- EntropyPlus.lean 16 declarations
- EntropyVariational.lean 17 declarations
- FiniteLogStability.lean 5 declarations
- OccupationEntropy.lean 7 declarations
- OccupationEntropy2.lean 5 declarations
- OutwardOrder.lean 2 declarations
- StoppedEntropySum.lean 5 declarations
- StoppedWindowEntropy.lean 13 declarations
- WindowEntropy.lean 3 declarations
- WindowProjectionEntropy.lean 3 declarations