A implicação probabilística em SPLAT revelou-se super limpa!! Parabéns pela simplicidade do formalismo na versão 1.4 do artigo A captura de tela mostra a regra da cadeia. Gosto de como você pode acompanhar a seção de cálculo mesmo sem conhecimento de Lean.