OAI/Computability/RandomMean/
498 declarations, 0 contain sorry, 0 declared as axioms; 17 files
Files
- Allocation.lean 26 declarations
- Chunks.lean 22 declarations
- Complexity.lean 19 declarations
- Control.lean 98 declarations
- ControlCorrectness.lean 25 declarations
- DispatchBounds.lean 14 declarations
- Growth.lean 18 declarations
- InputBounds.lean 0 declarations
- Loop.lean 19 declarations
- Main.lean 5 declarations
- Orientation.lean 46 declarations
- Preparation.lean 42 declarations
- RandomTables.lean 22 declarations
- Realizer.lean 30 declarations
- SizeBounds.lean 31 declarations
- StateGrowth.lean 36 declarations
- Traces.lean 45 declarations