Stream: Coq devs & plugin devs

Topic: Universe minimization for Props

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: Sep 09 2024 at 06:02 UTC