Announcement_9

Forthcoming: I’ll present Fairness Certificates via a Lean-Backed Trustworthy Probabilistic Typed Natural Deduction (with G. Primiero) at OVERLAY 2026 (FLoC), 18-19 July.