Skip to content

Implications are not equivalences by default - #336

Merged
ScriptRaccoon merged 2 commits into
mainfrom
implications-are-not-equivalences-by-default
Aug 15, 2026
Merged

Implications are not equivalences by default#336
ScriptRaccoon merged 2 commits into
mainfrom
implications-are-not-equivalences-by-default

make is_equivalence false by default

295d4b4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar