Skip to content

fix: LogLinarith Ne disjunct nesting - #35

Open
Chessing234 wants to merge 1 commit into
teorth:mainfrom
Chessing234:fix/loglinarith-ne-nested-list
Open

fix: LogLinarith Ne disjunct nesting#35
Chessing234 wants to merge 1 commit into
teorth:mainfrom
Chessing234:fix/loglinarith-ne-nested-list

fix: flatten Ne disjuncts in LogLinarith

bf13ca4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build
succeeded Jul 18, 2026 in 43s