refactor(Probability): define statistical distance on arbitrary types - #1065

refactor(Probability): define statistical distance on arbitrary types#1065

SamuelSchlesinger wants to merge 3 commits into

samschles/crypto-pr-01-pmf-real-sumsleanprover/cslib:samschles/crypto-pr-01-pmf-real-sumsfrom

samschles/crypto-pr-03-statistical-distance-tsumleanprover/cslib:samschles/crypto-pr-03-statistical-distance-tsumCopy head branch name to clipboard