search

mit-plv / fiat-crypto

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

[sp2019latest] Drop testing of non-dev versions of Coq #1700

Closed JasonGross closed 1 year ago