first take at probability theory

Co-authored-by: Takafumi Saikawa <[email protected]> Co-authored-by: Alessandro Bruni <[email protected]>
math-comp · Jan 12, 2023 · 5724d89 · 5724d89
1 parent c56991b
commit 5724d89
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