Fiat Cryptography v0.0.23

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

What's Changed

• Edwards point doubling for X25519 by @bMacSwigg in #1642
• Rust: Add no_std CI by @pinkforest in #1648
• rust: use doc comments by @armfazh in #1668
• rust: Replaces return an empty tuple by nothing (void). by @armfazh in #1670
• Drop use of Pervasives by @JasonGross in #1676
• Stop relying on replace by automatic assumption-based solving by @SkySkimmer in #1657

New Contributors

• @pinkforest made their first contribution in #1648
• @armfazh made their first contribution in #1668

Full Changelog: v0.0.22...v0.0.23