Skip to content

[saw-core-coq] Fix weird universe constraints generated in SAWCorePreludeExtra#1481

Merged
mergify[bot] merged 2 commits intomasterfrom saw-core-coq/fix-universe-constraintsOct 14, 2021