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