Stream: Coq devs & plugin devs

Topic: new inconsistency


view this post on Zulip Gaëtan Gilbert (Jan 16 2024 at 13:41):

It's just before the release so I found an inconsistency
https://github.com/coq/coq/issues/18503


Last updated: Oct 13 2024 at 01:02 UTC