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 definitional classes to coq/coq#18590 #1830

Closed JasonGross closed 8 months ago

JasonGross commented 8 months ago

For https://github.com/coq/coq/pull/18590

Changes made with https://gist.github.com/JasonGross/59fc3c03664f2280849abf50b531be42