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


Last updated: Oct 15 2021 at 20:02 UTC