first take at probability theory

Co-authored-by: Takafumi Saikawa <[email protected]> Co-authored-by: Alessandro Bruni <[email protected]>
math-comp · Dec 1, 2022 · 0f3bf91 · 0f3bf91
1 parent a667ce8
commit 0f3bf91
Show file tree

Hide file tree

Showing 2 changed files with 414 additions and 0 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -36,6 +36,7 @@ theories/derive.v
 theories/measure.v
 theories/numfun.v
 theories/lebesgue_integral.v
+theories/probability.v
 theories/summability.v
 theories/signed.v
 theories/altreals/xfinmap.v