GitHub repository: mjdemedeiros/SampCert
Primary language: Lean
Description: SampCert : Verified Differential Privacy