اتضح أن الدلالة الاحتمالية في SPLAT كانت نظيفة جدا!! تحية لبساطة الصياغة في الإصدار 1.4 في الورقة لقطة الشاشة تظهر قاعدة السلسلة. أحب كيف يمكنك متابعة قسم التفاضل والتكامل حتى بدون معرفة Lean.