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

Automated Rust Crate Version Bump: Mon Apr 22 13:35:04 UTC 2024 5563f… #1887

Closed JasonGross closed 2 months ago

JasonGross commented 2 months ago

…0925ec0187b9927dbc21b1eab76f15ac7f3