Stream: Coq devs & plugin devs

Topic: Anomoly with Function


view this post on Zulip Ali Caglayan (Jul 07 2021 at 12:52):

Here is an old anomaly I bug-minimized in case anybody wants to take a look https://github.com/coq/coq/issues/3738


Last updated: Oct 16 2021 at 03:02 UTC