OAI/Probability/Ballisticity/
4790 declarations, 0 contain sorry, 0 declared as axioms; 516 files
Folders
- Coupling/ 33 files, 247 declarations
- Crossings/ 39 files, 269 declarations
- Entropy/ 19 files, 124 declarations
- Estimates/ 266 files, 2718 declarations
- Geometry/ 48 files, 432 declarations
- Renewal/ 11 files, 101 declarations
- Stationary/ 48 files, 500 declarations
- Walk/ 47 files, 358 declarations
Files
- Main.lean 1 declarations
- Model.lean 22 declarations
- PositiveEscape.lean 7 declarations
- RowBridge.lean 10 declarations
- VelocityHemisphere.lean 1 declarations