mit-plv / fiat-crypto

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

Rust Crate Version Bump #1735

Closed github-actions[bot] closed 1 year ago

github-actions[bot] commented 1 year ago

This PR is auto-generated by create-pull-request.