Search for proofs of Differential privacy looking for the right couplings. The language is very simple for now
Primary LanguageOCaml