Skip to content

feat: change default simp behaviour to decide := false#2192

Closed
kim-em wants to merge 1 commit intoleanprover:masterfrom kim-em:dont_decide2
+7-7

Commits

Commits on Apr 15, 2023