Stream: Coq devs & plugin devs

Topic: Universe minimization for Props


view this post on Zulip Janno (May 22 2020 at 14:02):

Is there any way I can help restart development on https://github.com/coq/coq/pull/10331? (I've never really reported a bug for this. Should I do that? Just to keep track of it.)


Last updated: Oct 16 2021 at 03:02 UTC