https://github.com/coq/coq/pull/19310 is ready if anyone wants to assign (it may look bulky, but most of it is just string replacement Coq -> Stdlib)
Last updated: Oct 13 2024 at 01:02 UTC