Skip to content

Move single-variable conditions to predicates in rule 1.1.1.3#81

Open
SamUpid wants to merge 9 commits into
JuliaSymbolics:mainfrom
SamUpid:oooomm
Open

Move single-variable conditions to predicates in rule 1.1.1.3#81
SamUpid wants to merge 9 commits into
JuliaSymbolics:mainfrom
SamUpid:oooomm

Fixed rule 12, 13, 13 and 16 to mitigate the slots remain slots and d…

87b50d1
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs