Skip to content

fix: opaque-atom predicate awareness in deontic contradiction detection#55

Merged
rmichaelthomas merged 3 commits into
mainfrom
fix/predicate-contradiction-awareness
Jul 4, 2026
Merged

fix: opaque-atom predicate awareness in deontic contradiction detection#55
rmichaelthomas merged 3 commits into
mainfrom
fix/predicate-contradiction-awareness

test: add predicate-aware contradiction detection coverage

10bff05
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar