Differential Privacy

Stream: computer science

[Reuven Peleg]

Hi there!
I am a newcomer to LEAN, trying to formulate some results about Differential Privacy with a friend.
We saw there is a repository (https://github.com/leanprover/SampCert/tree/main) handling theorems in the field, which seems less active nowadays.
Is there a plan to formalize it as a part of #cslib or similar project? Some other already-defined terms we should include instead of re-defining?

[Shreyas Srinivas]

It was the artefact of a PLDI 24 paper. I think some of the authors are on this zulip

[Shreyas Srinivas]

CC : @Markus de Medeiros