Stream: Coq devs & plugin devs

Topic: PR 17118

Enrico Tassi (Mar 14 2023 at 10:28):

Can someone put https://github.com/coq/coq/pull/17118 out of misery?

Last updated: Jun 08 2023 at 04:01 UTC