OAI/Computability/SpaceSimulation/OneTape/
185 declarations, 0 contain sorry, 0 declared as axioms; 10 files
Files
- Caps.lean 6 declarations
- Control.lean 10 declarations
- Growth.lean 16 declarations
- Layout.lean 47 declarations
- Single.lean 18 declarations
- Sizes.lean 17 declarations
- Supply.lean 23 declarations
- Sweeps.lean 17 declarations
- Trial.lean 8 declarations
- Wander.lean 23 declarations