Formalization work for the SMC stack [Chen2012]

affeldt-aist · Feb 7, 2025 · 2fc0e1c · 2fc0e1c
1 parent 3b94ff1
commit 2fc0e1c
Show file tree

Hide file tree

Showing 8 changed files with 2,995 additions and 0 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -91,5 +91,9 @@ toy_examples/expected_value_variance.v
 toy_examples/expected_value_variance_ordn.v
 toy_examples/expected_value_variance_tuple.v
 toy_examples/conditional_entropy.v
+smc/smc_proba.v
+smc/smc_entropy.v
+smc/smc_interpreter.v
+smc/smc_tactics.v
 
 -R . infotheo