Pravděpodobnostní implikace ve SPLAT se ukázala být naprosto čistá!! Chvála jednoduchosti formalismu v článku 1.4 Screenshot ukazuje pravidlo řetězu. Líbí se mi, že můžeš sledovat část kalkulu i bez znalostí Lean.