Open 0x0f0f0f opened 2 years ago
Idea: develop a ruleset for simplify that uses the Metatheory.jl e-graph backend also using equational theories.
simplify
Idea: develop a ruleset for
simplifythat uses the Metatheory.jl e-graph backend also using equational theories.