search

mit-plv / fiat-crypto

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

Rust Crate Version Bump #1907

Closed github-actions[bot] closed 6 months ago

github-actions[bot] commented 6 months ago

This PR is auto-generated by GitHub Actions.