What's Changed
- Adapt to rocq-prover/rocq#21531 (stricter Type in Type) by @yannl35133 in #573
- Adapt to rocq-prover/rocq#21611 by @proux01 in #576
- Update installation instructions for HB by @CohenCyril in #578
- [CI] Add Rocq 9.2 by @proux01 in #582
- Adapt to rocq-prover/rocq#21851 by @proux01 in #588
- logo by Reynald Affeldt by @gares in #591
- [CI] Update Nix toolbox by @proux01 in #592
- release for 9.2 by @gares in #598
New Contributors
- @yannl35133 made their first contribution in #573
Full Changelog: v1.10.2...v1.10.3