Skip to content

[main] Don't use unguarded assumption#1276

Open
JasonGross wants to merge 2 commits into
MetaRocq:mainfrom
JasonGross:main+fix-hint
Open

[main] Don't use unguarded assumption#1276
JasonGross wants to merge 2 commits into
MetaRocq:mainfrom
JasonGross:main+fix-hint

Add quotation_of instances for ondecl, onctx, tCasePredProp, tCaseBrs…

1c34182
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
checktodos
succeeded Jun 7, 2026 in 6s