| Fri, 19 Feb 2021 13:42:12 +0100 | Manuel Eberl | HOL-Analysis/Probability: Hoeffding's inequality, negative binomial distribution, etc. | file | diff | annotate |
| Wed, 07 Jun 2017 17:11:45 -0400 | hoelzl | HOL-Probability: add measurable space for trees | file | diff | annotate |