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

[sp2019latest] (partial) compatibility with coq/coq#19310 #1929

Closed JasonGross closed 4 months ago

JasonGross commented 4 months ago

coq/coq#19310 rewrites the Coq prefix to Stdlib on the fly