OAI/Computability/BinPacking/Reductions/
622 declarations, 0 contain sorry, 0 declared as axioms; 18 files
Files
- BinaryCoordinates.lean 12 declarations
- BinaryHeaderMachine.lean 26 declarations
- BinaryInputReduction.lean 35 declarations
- BinaryLiteralMachine.lean 20 declarations
- BinaryNameCompare.lean 47 declarations
- BinaryPairMachine.lean 32 declarations
- BinaryRenameLoop.lean 46 declarations
- BinaryRenameWords.lean 59 declarations
- BinaryTokenMachine.lean 90 declarations
- BinaryTotalInputMachine.lean 50 declarations
- BinaryValidatorMachine.lean 40 declarations
- CloneGap.lean 35 declarations
- FiniteNoise.lean 7 declarations
- MachineReverse.lean 17 declarations
- MachineSubstitution.lean 27 declarations
- MachineTransducer.lean 27 declarations
- MachineTransfer.lean 33 declarations
- Target.lean 19 declarations