Could I get review / an assignee on #17938 (adjusting the infrastructure in the test-suite file for
nia a bit, in prep for handling more test cases). (#17933 is the PR that actually adds the extra test-cases, and #17934 (more power in Z.to_euclidean_division_equations) also depends on #17938)
What is the status of https://github.com/coq/coq/pull/17920? It is a PR fixing a regression in 8.18 over 8.17 that I prepared before 8.18.0 was tagged, but which was not merged in time...
Last updated: Nov 29 2023 at 22:01 UTC