Stream: MetaCoq

Topic: ✔ ConstraintSet.t -> LevelSet.t


view this post on Zulip Jason Gross (Nov 04 2022 at 18:21):

Is there a function ConstraintSet.t -> LevelSet.t such that uGraph.uctx_invariants holds of the resulting pair?

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

I found a workaround

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

Jason Gross has marked this topic as resolved.


Last updated: Mar 28 2024 at 13:01 UTC