probabilistic language using mca's kernels

Co-authored-by: Cyril Cohen <[email protected]> Co-authored-by: @AyumuSaito
math-comp · May 1, 2023 · 642a5b7 · 642a5b7
1 parent 2ec2c21
commit 642a5b7
Show file tree

Hide file tree

Showing 4 changed files with 1,170 additions and 0 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -43,6 +43,8 @@ theories/itv.v
 theories/convex.v
 theories/charge.v
 theories/kernel.v
+theories/prob_lang.v
+theories/wip.v
 theories/altreals/xfinmap.v
 theories/altreals/discrete.v
 theories/altreals/realseq.v

diff --git a/theories/Make b/theories/Make
@@ -34,6 +34,8 @@ itv.v
 convex.v
 charge.v
 kernel.v
+prob_lang.v
+wip.v
 altreals/xfinmap.v
 altreals/discrete.v
 altreals/realseq.v