HOL-Analysis/Probability: Hoeffding's inequality, negative binomial distribution, etc.
Description
Description
Details
Details
- Provenance
pruvisto Authored on - Parents
- rISABELLEb4552595b04e: tidied up a few ugly proofs
- Branches
- Unknown
- Tags
HOL-Analysis/Probability: Hoeffding's inequality, negative binomial…
Description HOL-Analysis/Probability: Hoeffding's inequality, negative binomial distribution, etc.
Details
|