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