Fiat Cryptography v0.0.24

Pre-release

Pre-release

JasonGross released this 27 Oct 21:46

· 244 commits to master since this release

Compatible with Coq 8.16, 8.17, 8.18 requires OCaml >= 4.08

Fix publish.yml CI action, no other changes since v0.0.23

Full Changelog: v0.0.23...v0.0.24

Assets 2