OAI/Combinatorics/EditDistance/
513 declarations, 0 contain sorry, 0 declared as axioms; 45 files
Files
- AlphabetLower.lean 6 declarations
- AlphabetSupremum.lean 4 declarations
- BinaryCode.lean 20 declarations
- BinaryEmbedding.lean 8 declarations
- BlockAlignment.lean 9 declarations
- CutModels.lean 21 declarations
- CutRealization.lean 3 declarations
- Cuts.lean 13 declarations
- DelimiterAlignment.lean 10 declarations
- DepthInversion.lean 8 declarations
- DirectSums.lean 23 declarations
- Distortion.lean 9 declarations
- DistortionMonotonicity.lean 4 declarations
- DyadicScales.lean 3 declarations
- Families.lean 3 declarations
- FamilyRecursion.lean 11 declarations
- FiniteLower.lean 3 declarations
- FourierAverages.lean 17 declarations
- FourierCharacters.lean 17 declarations
- HashCuts.lean 17 declarations
- Histograms.lean 14 declarations
- LowerBound.lean 2 declarations
- LowerDistortion.lean 9 declarations
- LowerParameters.lean 22 declarations
- Main.lean 1 declarations
- MeanHistograms.lean 12 declarations
- Metric.lean 40 declarations
- Model.lean 9 declarations
- PrimeCharacters.lean 8 declarations
- PrimeDisplacement.lean 12 declarations
- PrimePeriods.lean 4 declarations
- PrimePool.lean 6 declarations
- RecursiveControl.lean 11 declarations
- RecursiveWords.lean 28 declarations
- RowAlignment.lean 25 declarations
- RowConstruction.lean 8 declarations
- RowSeparation.lean 11 declarations
- Slots.lean 20 declarations
- UpperBase.lean 7 declarations
- UpperBound.lean 3 declarations
- UpperParameters.lean 6 declarations
- UpperRecursion.lean 7 declarations
- WholeMaps.lean 4 declarations
- WindowRecursion.lean 14 declarations
- Windows.lean 21 declarations