v1.3.1-9.0

What's Changed

• Adapt w.r.t. rocq-prover/rocq#19313. by @ppedrot in #611
• adapt to rocq-prover/rocq#19300 by @gares in #610
• Fix call to congruence after rocq-prover/rocq#19032 by @SkySkimmer in #612
• Add link to Coq Platform Docs by @thomas-lamiaux in #615
• Adapt to rocq-prover/rocq#19530 by @proux01 in #616
• Adapt to rocq-prover/rocq#19620 (Global.push_context_set no strict argument) by @SkySkimmer in #619
• [coq] Overlay for rocq-prover/rocq#18385 by @ejgallego in #592
• Adapt to rocq-prover/rocq#19530 by @proux01 in #625
• Adapt to rocq-prover/rocq#20069 (set_leq_sort doesn't need an env) by @SkySkimmer in #630
• Rocq-renaming by @mattam82 in #632

Full Changelog: v1.3.1-8.20...v1.3.1-9.0