Stream: Coq devs & plugin devs

Topic: Anomaly with unipoly, indexed inductives and number notation


view this post on Zulip Ali Caglayan (Feb 06 2023 at 17:15):

Here is a nice monday anomaly:
https://github.com/coq/coq/issues/17225


Last updated: Dec 07 2023 at 09:01 UTC