bcmhomewood / fiat-crypto Goto Github PK
View Code? Open in Web Editor NEWThis project forked from mit-plv/fiat-crypto
Cryptographic Primitive Code Generation by Fiat
Home Page: http://adam.chlipala.net/papers/FiatCryptoSP19/FiatCryptoSP19.pdf
License: Other