Skip to content

Restate quantifier-free argument refinements at lemma calls (fixes #4591) - #4597

Open
gebner wants to merge 1 commit into
masterfrom
fix-4591-lemma-arg-sign-facts
Open

Restate quantifier-free argument refinements at lemma calls (fixes #4591)#4597
gebner wants to merge 1 commit into
masterfrom
fix-4591-lemma-arg-sign-facts

Restate quantifier-free argument refinements at lemma calls (#4591)

7112135
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar