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

bump rupicola (requires Coq >= 8.18) #1818

Closed samuelgruetter closed 9 months ago