OAI/Combinatorics/KMedianRecovery/Encoding/
968 declarations, 0 contain sorry, 0 declared as axioms; 53 files
Files
- BitsInjective.lean 9 declarations
- BoundedNatWord.lean 5 declarations
- ColorLabelMachine.lean 29 declarations
- CoupledEncode.lean 30 declarations
- CutMatrix.lean 10 declarations
- DivNatWords.lean 17 declarations
- DuplicateMatrix.lean 10 declarations
- Encode.lean 23 declarations
- Encode2.lean 50 declarations
- Encode3.lean 22 declarations
- EntryIndex.lean 20 declarations
- ExchangeIndex.lean 13 declarations
- FinSetDecode.lean 7 declarations
- FinSets.lean 31 declarations
- HistoryBits.lean 17 declarations
- IndexedFiniteExperiment.lean 1 declarations
- InstructionBits.lean 22 declarations
- LabelLookup.lean 9 declarations
- LabelMember.lean 24 declarations
- LabelOrder.lean 48 declarations
- LabelRange.lean 24 declarations
- LabelSize.lean 7 declarations
- LengthEncode.lean 26 declarations
- MaskOutput.lean 6 declarations
- Matrix.lean 29 declarations
- MatrixRows.lean 9 declarations
- NatWords.lean 5 declarations
- OptionEncode.lean 81 declarations
- PrecisionBits.lean 3 declarations
- PushWord.lean 17 declarations
- RationalBest.lean 10 declarations
- RationalBottomIndices.lean 9 declarations
- RationalCap.lean 16 declarations
- RationalConstants.lean 8 declarations
- RationalInflatedShape.lean 11 declarations
- RationalLeaves.lean 24 declarations
- RationalMenus.lean 28 declarations
- RationalSlack.lean 2 declarations
- RationalSort.lean 35 declarations
- RationalStream.lean 20 declarations
- RecoveryIndex.lean 5 declarations
- Reencode.lean 4 declarations
- RowEncode.lean 30 declarations
- SortedRepresentative.lean 3 declarations
- StateBits.lean 32 declarations
- StateBits2.lean 13 declarations
- UnaryParser.lean 26 declarations
- UniformBits.lean 9 declarations
- UniformWord.lean 4 declarations
- WordExtras.lean 41 declarations
- WordSubsets.lean 18 declarations
- WordTake.lean 5 declarations
- Words.lean 11 declarations