feat(Crypto): relate security games to statistical distance - #1072

feat(Crypto): relate security games to statistical distance#1072

SamuelSchlesinger wants to merge 2 commits into

samschles/crypto-pr-09-prg-distributionsleanprover/cslib:samschles/crypto-pr-09-prg-distributionsfrom

samschles/crypto-pr-10-statistical-gamesleanprover/cslib:samschles/crypto-pr-10-statistical-gamesCopy head branch name to clipboard