https://github.com/coq/coq/pull/16817
https://github.com/coq/coq/pull/16970
https://github.com/coq/coq/pull/17282
https://github.com/coq/coq/pull/17605
https://github.com/coq/coq/pull/17616 (assigned)
https://github.com/coq/coq/pull/17587
https://github.com/coq/coq/pull/17585 (done)
ping
Sorry I'm super busy with CoqWS 2023, but next week I'll try to help more.
Last updated: Jun 04 2023 at 19:30 UTC