Fiat Cryptography v0.0.22
Pre-release
Pre-release
Compatible with Coq 8.16, 8.17, 8.18 requires OCaml >= 4.08
What's Changed
Full Changelog: v0.0.21...v0.0.22
Compatible with Coq 8.16, 8.17, 8.18 requires OCaml >= 4.08
Full Changelog: v0.0.21...v0.0.22