OAI/GroupTheory/PeriodicGroups/Machines/
1096 declarations, 0 contain sorry, 0 declared as axioms; 13 files
Files
- ArithmeticDevices.lean 75 declarations
- BinaryRegisters.lean 72 declarations
- Compilation.lean 110 declarations
- InputEncoding.lean 110 declarations
- ProgramAssembly.lean 95 declarations
- ProgramFixedPoint.lean 91 declarations
- RegisterLoops.lean 113 declarations
- RegisterOperators.lean 54 declarations
- StackCompression.lean 101 declarations
- TapePrograms.lean 55 declarations
- TimedExecution.lean 83 declarations
- UniversalInput.lean 66 declarations
- UniversalStack.lean 71 declarations