bmsherman/crypto-project

Formal proof about pseudorandom generators with FCF

Coq