feat(Crypto): Generalize encryption schemes over arbitrary monads#581

dtumad wants to merge 3 commits into

leanprover:mainleanprover/cslib:mainfrom

dtumad:dtumad/monad-generic-encryption-schemesdtumad/cslib:dtumad/monad-generic-encryption-schemesCopy head branch name to clipboard