What's Changed Adapt w.r.t. coq/coq#19313. by @ppedrot in https://github.com/mattam82/Coq-Equations/pull/611 adapt to coq/coq#19300 by @gares in https://github.com/mattam82/Coq-Equations/pull/610 Fix call to congruence after coq/coq#19032 by @SkySkimmer in https://github.com/mattam82/Coq-Equations/pull/612 Add link to Coq Platform Docs by @thomas-lamiaux in https://github.com/mattam82/Coq-Equations/pull/615 Adapt to https://github.com/coq/coq/pull/19530 by @proux01 in https://github.com/mattam82/Coq-Equations/pull/616 Adapt to coq/coq#19620 (Global.push_context_set no strict argument) by @SkySkimmer in https://github.com/mattam82/Coq-Equations/pull/619 [coq] Overlay for coq/coq#18385 by @ejgallego in https://github.com/mattam82/Coq-Equations/pull/592 Adapt to https://github.com/coq/coq/pull/19530 by @proux01 in https://github.com/mattam82/Coq-Equations/pull/625 Adapt to coq/coq#20069 (set_leq_sort doesn't need an env) by @SkySkimmer in https://github.com/mattam82/Coq-Equations/pull/630 Rocq-renaming by @mattam82 in https://github.com/mattam82/Coq-Equations/pull/632 Full Changelog: https://github.com/mattam82/Coq-Equations/compare/v1.3.1-8.20...v1.3.1-9.0