OAI/Dynamics/StandardMap/Coding/
254 declarations, 0 contain sorry, 0 declared as axioms; 12 files
Files
- CenteredDecoder.lean 14 declarations
- DecodedTowerCopy.lean 22 declarations
- EntropyRateCodebook.lean 27 declarations
- FixedWindowCost.lean 23 declarations
- FixedWindowTower.lean 13 declarations
- FullEntropyCopySequence.lean 24 declarations
- PartitionLimit.lean 14 declarations
- PositiveWeakBernoulliRate.lean 13 declarations
- ReconstructionEntropy.lean 19 declarations
- SanitizedTowerLaw.lean 14 declarations
- TypicalDecodableCoupling.lean 31 declarations
- TypicalWordCodebook.lean 40 declarations