OAI/MathematicalPhysics/RecorderFlows/Main.lean
0 declarations, 0 contain sorry, 0 declared as axioms
Recorder halting, radix geometry, affine shear paths and initialized fluid specifications.
This file declares nothing itself. It gathers the 23 imports below, so a file that imports it gets all of them.
Imports
- OAI.Computability.SolenoidalRecorder.Machines
- OAI.Computability.SolenoidalRecorder.Rules
- OAI.Computability.SolenoidalRecorder.Scans
- OAI.Computability.SolenoidalRecorder.Checkpoints
- OAI.Computability.SolenoidalRecorder.Halting
- OAI.Analysis.SolenoidalShears.Affine
- OAI.Analysis.RecorderRadix.Intervals
- OAI.Analysis.RecorderRadix.Codes
- OAI.Analysis.RecorderRadix.Tape
- OAI.Geometry.RecorderBoxes.Boxes
- OAI.Geometry.RecorderBoxes.Branches
- OAI.Geometry.RecorderBoxes.Placement
- OAI.Geometry.RecorderBoxes.Affine
- OAI.Geometry.RecorderBoxes.Encoding
- OAI.Geometry.RecorderBoxes.InitialCode
- OAI.Analysis.RecorderRadix.Scales
- OAI.Geometry.RecorderBoxes.Bounds
- OAI.Geometry.RecorderBoxes.Rational
- OAI.Geometry.RecorderBoxes.Stages
- OAI.MathematicalPhysics.RecorderFlows.Model
- OAI.MathematicalPhysics.RecorderFlows.Observation
- OAI.MathematicalPhysics.RecorderFlows.Effective
- OAI.MathematicalPhysics.RecorderFlows.Initialized