[Paper Artifact] Equational Reasoning for Probabilistic Programming#1712

Open

affeldt-aist wants to merge 45 commits intomath-comp:masterfrom

affeldt-aist:prob_lang_noisy

Commits on Apr 14, 2026

probabilistic language using mca's kernels

affeldt-aist
and
CohenCyril
committed
syntax and denotational semantics

AyumuSaito
and
affeldt-aist
committed
rm duplicate, more uniform naming
affeldt-aist
committed
add binary operations

AyumuSaito
authored and
affeldt-aist
committed
minor fixes, updates, rebases
affeldt-aist
committed
casino example and extensions

AyumuSaito
and
affeldt-aist
committed
bernoulli_trunc measurable
affeldt-aist
committed
add Nat and 0<=p<=1 problem

AyumuSaito
authored and
affeldt-aist
committed
progress
affeldt-aist
committed
minor fixes

AyumuSaito
and
affeldt-aist
committed
several admits proved
affeldt-aist
committed
definition beta

AyumuSaito
authored and
affeldt-aist
committed
fix
affeldt-aist
committed
write casino (wip)

AyumuSaito
authored and
affeldt-aist
committed
WIP
affeldt-aist
committed
progress in proving the casino exampl

AyumuSaito
authored and
affeldt-aist
committed
admit about fact and adjustment of exp but casino broken
affeldt-aist
committed
fix

AyumuSaito
authored and
affeldt-aist
committed
minor progress
affeldt-aist
committed
casino example (wip)

AyumuSaito
authored and
affeldt-aist
committed

Commits on Apr 15, 2026

complete the casino example
affeldt-aist
committed
beta_bdf_uniq_ae, integral_indicator_function

IshiguroYoshihiro
authored and
affeldt-aist
committed
fix
affeldt-aist
committed
generalize case_sum
affeldt-aist
committed
Von Neumann Trick Proof complete

CohenCyril
authored and
affeldt-aist
committed
probability_fin can be avoided
affeldt-aist
committed
Better Von Neumann trick + generalization

CohenCyril
authored and
affeldt-aist
committed
doc
affeldt-aist
committed
golfing

CohenCyril
authored and
affeldt-aist
committed
use gauss_integral to complete another example
affeldt-aist
committed
fix after rebase
affeldt-aist
committed
adjustment
affeldt-aist
committed
progress

IshiguroYoshihiro
authored and
affeldt-aist
committed
one admit in helloright
affeldt-aist
committed
wip

IshiguroYoshihiro
authored and
affeldt-aist
committed
minor progress
affeldt-aist
committed
various fixes
affeldt-aist
committed
normal_probD

IshiguroYoshihiro
authored and
affeldt-aist
committed
various fixes
affeldt-aist
committed
exponential_prob and noisyAB'_rearrange (#35)

IshiguroYoshihiro
authored and
affeldt-aist
committed
minor cleaning
affeldt-aist
committed
to avoid overflow with small RAM (#39)

IshiguroYoshihiro
authored and
affeldt-aist
committed
cleaning
affeldt-aist
committed
to accommodate for the integration of lra
affeldt-aist
committed
gen cont under int
affeldt-aist
committed