# fiat-crypto
Cryptographic Primitive Code Generation in Fiat