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 (I've never really reported a bug for this. Should I do that? Just to keep track of it.)

Last updated: Dec 06 2023 at 14:01 UTC