Skip to content

Add axioms for comparison operators for booleans - #1389

Merged
copybara-service[bot] merged 1 commit into
mainfrom
test_1003562618
Oct 22, 2026
Merged

Add axioms for comparison operators for booleans#1389
copybara-service[bot] merged 1 commit into
mainfrom
test_1003562618

Add axioms for comparison operators for booleans

efeafc5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar