OAI/Combinatorics/MatchingCount/Tapes/
550 declarations, 0 contain sorry, 0 declared as axioms; 39 files
Files
- BlockMap.lean 23 declarations
- Codec.lean 21 declarations
- CoinAlphabet.lean 6 declarations
- CoinStack.lean 7 declarations
- CoinSupport.lean 8 declarations
- FixedAlphabetCompiler.lean 9 declarations
- FixedEncoding.lean 6 declarations
- GuardBits.lean 20 declarations
- Input.lean 28 declarations
- Online.lean 6 declarations
- OnlineComposition.lean 9 declarations
- OnlineStackCompiler.lean 33 declarations
- OnlineWord.lean 12 declarations
- Packed.lean 21 declarations
- PackedExecution.lean 10 declarations
- PackedInverse.lean 17 declarations
- Parse.lean 17 declarations
- Physical.lean 7 declarations
- PhysicalAlphabet.lean 7 declarations
- ProductBits.lean 9 declarations
- RandomReservoir.lean 4 declarations
- RandomWord.lean 14 declarations
- RandomWordLaw.lean 12 declarations
- RunBits.lean 40 declarations
- StackEmbedding.lean 11 declarations
- StackLens.lean 11 declarations
- StackWords.lean 12 declarations
- TapeTools.lean 24 declarations
- TreeAddBits.lean 1 declarations
- TreeBits.lean 19 declarations
- TreeEncodingInjective.lean 10 declarations
- TreeErasure.lean 6 declarations
- TreeErasurePrimitives.lean 7 declarations
- TreeNumberedCodec.lean 11 declarations
- TreeSparseCertificate.lean 21 declarations
- TreeSparseComponents.lean 19 declarations
- TreeSparseNeighbors.lean 12 declarations
- TreeSparseStage.lean 30 declarations
- WordOps.lean 10 declarations