Michael Shoemate issues

Results 284 issues of


                                            Michael Shoemate

While there is a proof for `cdp_delta`, there is no proof for the combinator that wraps it into the framework.

good first issue

This may entail some code changes, to adjust the formula to #2023.

good first issue

This will involve proofs of implementations of `FixDeltaMeasure`.

good first issue

This function finds the smallest epsilon such that `PrivacyProfile.delta(epsilon)` is lte a given delta.

good first issue