search

mit-plv / fiat-crypto

Cryptographic Primitive Code Generation by Fiat
http://adam.chlipala.net/papers/FiatCryptoSP19/FiatCryptoSP19.pdf
Other
701 stars 144 forks source link

[sp2019latest] Create dependabot-automerge.yml #1879

Closed JasonGross closed 2 months ago