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

adapt to coq/coq#18563 #1814

Closed andres-erbsen closed 9 months ago

andres-erbsen commented 9 months ago

untested