Automatic Proofs of Differential Privacy(nist.gov)

https://www.nist.gov/blogs/cybersecurity-insights/automatic-proofs-differential-privacy