Implikasi probabilistik dalam SPLAT ternyata sangat bersih!! Pujian untuk kesederhanaan formalisme di 1.4 dalam makalah Tangkapan layar menunjukkan aturan rantai. Saya suka bagaimana Anda dapat mengikuti bagian kals bahkan tanpa pengetahuan Lean.