Stream: Coq devs & plugin devs

Topic: assignee wanted

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