Sự suy diễn xác suất trong SPLAT hóa ra rất rõ ràng!! Xin chúc mừng sự đơn giản của hình thức trong phiên bản 1.4 trong bài báo Ảnh chụp màn hình cho thấy quy tắc chuỗi. Tôi thích cách bạn có thể theo dõi phần tính toán ngay cả khi không có kiến thức về Lean.