refactor(Crypto/PRG): allow explicit seed and ideal distributions - #1071

refactor(Crypto/PRG): allow explicit seed and ideal distributions#1071

SamuelSchlesinger wants to merge 2 commits into

samschles/crypto-pr-08-hybrid-argumentsleanprover/cslib:samschles/crypto-pr-08-hybrid-argumentsfrom

samschles/crypto-pr-09-prg-distributionsleanprover/cslib:samschles/crypto-pr-09-prg-distributionsCopy head branch name to clipboard