Stream: Coq devs & plugin devs

Topic: assignee wanted

view this post on Zulip Gaëtan Gilbert (Sep 01 2020 at 09:48):

https://github.com/coq/coq/pull/12653 syntax for cumulative inductives

view this post on Zulip Ali Caglayan (Feb 15 2022 at 21:54):

https://github.com/coq/coq/pull/15645

view this post on Zulip Pierre-Marie Pédrot (Feb 15 2022 at 22:33):

assigned

Last updated: Feb 01 2023 at 16:03 UTC