Stream: MetaCoq

Topic: ✔ Checking universe graph?


view this post on Zulip Jason Gross (Nov 23 2022 at 13:50):

I've managed to figure this one out at https://github.com/JasonGross/metacoq-lob/blob/4222900653a338b2870e933d1b6a5da7a94a2eb7/theories/Template/Decidable/Universes.v#L11 but there's still one decider I can't figure out

view this post on Zulip Notification Bot (Nov 23 2022 at 13:50):

Jason Gross has marked this topic as resolved.


Last updated: Jan 30 2023 at 18:04 UTC