OAI/Combinatorics/TreeEdit/
460 declarations, 0 contain sorry, 0 declared as axioms; 30 files
Files
- Alignments.lean 19 declarations
- CapInversion.lean 4 declarations
- CircleFourier.lean 21 declarations
- CircleObstruction.lean 23 declarations
- CircleParameters.lean 10 declarations
- CircleSeparation.lean 16 declarations
- CircleTree.lean 30 declarations
- CycleCharging.lean 9 declarations
- CyclicWords.lean 16 declarations
- Delimiter.lean 19 declarations
- DistortionTransfer.lean 10 declarations
- EditMetric.lean 42 declarations
- FiniteFourier.lean 50 declarations
- FiniteLowerBound.lean 3 declarations
- FiniteParameters.lean 11 declarations
- FinitePrimes.lean 1 declarations
- FiniteProbability.lean 31 declarations
- FiniteShifts.lean 4 declarations
- FiniteSpectrum.lean 16 declarations
- FiniteTree.lean 13 declarations
- Main.lean 3 imports, no declarations
- Model.lean 13 declarations
- PrimeSupply.lean 5 declarations
- RandomCircle.lean 22 declarations
- RandomCode.lean 21 declarations
- SampledSpectrum.lean 13 declarations
- SegmentComparison.lean 19 declarations
- TorusLowerBound.lean 5 declarations
- TreeArithmetic.lean 3 declarations
- WordOperations.lean 11 declarations