L'implicazione probabilistica in SPLAT si è rivelata super pulita!! Complimenti per la semplicità del formalismo nella 1.4 del documento Lo screenshot mostra la regola della catena. Mi piace come puoi seguire la sezione di calcolo anche senza conoscenze di Lean.