Announcement_9
At OVERLAY 2026 (FLoC) I presented Fairness Certificates via a Lean-Backed Trustworthy Probabilistic Typed Natural Deduction (with G. Primiero), and chaired one of the sessions.
At OVERLAY 2026 (FLoC) I presented Fairness Certificates via a Lean-Backed Trustworthy Probabilistic Typed Natural Deduction (with G. Primiero), and chaired one of the sessions.