Skip to content

Let a connective settle what its truth table settles (#880) - #907

Merged
Rafael-SOWNet merged 1 commit into
masterfrom
fix/kleene-connectives
Aug 12, 2026
Merged

Let a connective settle what its truth table settles (#880)#907
Rafael-SOWNet merged 1 commit into
masterfrom
fix/kleene-connectives

Let a connective settle what its truth table settles (#880)

7bca31c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar