probabilistic language using mca's kernels

Co-authored-by: Cyril Cohen <[email protected]> Co-authored-by: @AyumuSaito
math-comp · Aug 22, 2023 · 6242813 · 6242813
1 parent 7880978
commit 6242813
Show file tree

Hide file tree

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

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