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: Oct 08 2024 at 14:01 UTC