HomeIsabelle/Phabricator

HOL-Analysis/Probability: Hoeffding's inequality, negative binomial…

Description

HOL-Analysis/Probability: Hoeffding's inequality, negative binomial distribution, etc.

Details

Provenance
pruvistoAuthored on
Parents
rISABELLEb4552595b04e: tidied up a few ugly proofs
Branches
Unknown
Tags
Unknown