OAI/Computability/BinPacking/Arithmetic/
660 declarations, 0 contain sorry, 0 declared as axioms; 12 files
Files
- BinaryOrderMachine.lean 47 declarations
- BinaryPowerMachine.lean 65 declarations
- BinaryTallyMachine.lean 150 declarations
- BinaryToTallyMachine.lean 41 declarations
- GraphPackingRegisters.lean 28 declarations
- GraphTallyMachine.lean 113 declarations
- NatExpression.lean 22 declarations
- NatExpressionBounds.lean 50 declarations
- NatExpressionBranch.lean 87 declarations
- PackingRegisterFrame.lean 38 declarations
- PackingRegisterUpdate.lean 15 declarations
- ResetExpressionCompiler.lean 4 declarations