OAI/Combinatorics/KMedian/Amplification/
335 declarations, 0 contain sorry, 0 declared as axioms; 35 files
Files
- Amplifier.lean 29 declarations
- AmplifierCompiler.lean 10 declarations
- AmplifierGuard.lean 13 declarations
- AmplifierIteration.lean 11 declarations
- AmplifierProgram.lean 11 declarations
- AmplifierSize.lean 13 declarations
- AmplifierTableSize.lean 9 declarations
- CSPMix.lean 8 declarations
- FlexibleAmplifier.lean 15 declarations
- FlexibleBound.lean 1 declarations
- FlexibleCloud.lean 14 declarations
- FlexibleComplete.lean 1 declarations
- FlexibleRegularization.lean 7 declarations
- LabelTransport.lean 6 declarations
- Majority.lean 18 declarations
- PaddedAlphabet.lean 13 declarations
- PaddedPowered.lean 1 declarations
- PaddingSound.lean 3 declarations
- PaddingSpec.lean 7 declarations
- PowerCompleteness.lean 2 declarations
- PowerPrograms.lean 6 declarations
- PowerSpec.lean 2 declarations
- PowerTable.lean 6 declarations
- PoweredAlphabet.lean 1 declarations
- PoweringBound.lean 4 declarations
- PoweringConstruction.lean 18 declarations
- PoweringMean.lean 13 declarations
- PoweringMoment.lean 7 declarations
- PoweringObjects.lean 17 declarations
- RegularGraphLaws.lean 6 declarations
- RegularPrograms.lean 21 declarations
- RegularSpec.lean 9 declarations
- RegularizationObjects.lean 16 declarations
- RegularizationSound.lean 8 declarations
- TestSum.lean 9 declarations