OAI/Computability/SpaceSimulation/
912 declarations, 0 contain sorry, 0 declared as axioms; 49 files
Folders
- Epoch/ 6 files, 106 declarations
- Evaluation/ 8 files, 178 declarations
- OneTape/ 10 files, 185 declarations
- Register/ 12 files, 168 declarations
- Stack/ 9 files, 180 declarations
Files
- Binary.lean 24 declarations
- Machine.lean 44 declarations
- Main.lean 4 declarations
- StackMachine.lean 23 declarations