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 byautomaticassumption-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