Skip to content

Use auto unfold for some Logic operators#1014

Open
oskgo wants to merge 1 commit into
mainfrom
stdlib-auto-unfold
Open

Use auto unfold for some Logic operators#1014
oskgo wants to merge 1 commit into
mainfrom
stdlib-auto-unfold

use auto unfold for some `Logic` operators

ce4ec6d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-commit-count
succeeded Jun 5, 2026 in 4s