search

JuliaSymbolics / SymbolicUtils.jl

Symbolic expressions, rewriting and simplification
https://docs.sciml.ai/SymbolicUtils/stable/
Other
524 stars 99 forks source link

[wip] Unityper updates #482

Closed shashi closed 1 year ago

shashi commented 1 year ago

fixes isequal and adds missing istree for now.

shashi commented 1 year ago

and https://github.com/JuliaSymbolics/Symbolics.jl/pull/549

shashi commented 1 year ago

Also returns all the code from Metatheory.