Stream: Coq devs & plugin devs

Topic: Anomaly with unipoly, indexed inductives and number notation

Ali Caglayan (Feb 06 2023 at 17:15):

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

Last updated: May 28 2023 at 13:30 UTC