get all the rules
qwertyjl opened this issue · 0 comments
qwertyjl commented
Is there a function that returns all the rules implemented in SymbolicUtils?
My goal would be to use all the rules with the macro @areequal
in Metatheory to check if two expressions are equal.
Does this make sense in your opinion?