OAI/Probability/SKRatio/Gaussian/
133 declarations, 0 contain sorry, 0 declared as axioms; 12 files
Files
- EmpiricalIntervals.lean 13 declarations
- ExponentialBounds.lean 5 declarations
- ExponentialEvents.lean 13 declarations
- ExponentialProducts.lean 3 declarations
- GaussianEmpirical.lean 6 declarations
- GaussianEvents.lean 13 declarations
- GaussianFunctional.lean 2 declarations
- HammingGeometry.lean 24 declarations
- Planted.lean 28 declarations
- PlantedCriterion.lean 13 declarations
- PlantedEmpirical.lean 11 declarations
- PlantedEntries.lean 2 declarations