search

mit-plv / fiat-crypto

Cryptographic Primitive Code Generation by Fiat
http://adam.chlipala.net/papers/FiatCryptoSP19/FiatCryptoSP19.pdf
Other
718 stars 147 forks source link

Adapt to coq/coq#18273 (Ltac2 supports head reduction) #1725

Closed SkySkimmer closed 1 year ago

SkySkimmer commented 1 year ago

Should be backwards compatible.