OAI/Probability/Perceptron/Control/
125 declarations, 0 contain sorry, 0 declared as axioms; 9 files
Files
- ContactControl.lean 5 declarations
- ControlDrift.lean 26 declarations
- ControlledPrefix.lean 31 declarations
- FreshControl.lean 4 declarations
- LabelProfileControl.lean 10 declarations
- QuantileControlContinuity.lean 7 declarations
- QuantileControlTail.lean 3 declarations
- StepControl.lean 17 declarations
- StepControlTail.lean 22 declarations