Skip to content

Honor negation patterns under default predicate quantifier#310

Open
Iron-Ham wants to merge 1 commit into
dorny:masterfrom
Iron-Ham:Iron-Ham/fix-issue-260-negation-semantics
Open

Honor negation patterns under default predicate quantifier#310
Iron-Ham wants to merge 1 commit into
dorny:masterfrom
Iron-Ham:Iron-Ham/fix-issue-260-negation-semantics

Commits

Commits on Apr 27, 2026