Вероятностное следствие в SPLAT оказалось очень чистым!! Браво простоте формализма в 1.4 в статье Скриншот показывает правило цепи. Мне нравится, как можно следить за разделом вычислений, даже не имея знаний Lean.