Open qwertyjl opened 1 year ago
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?
@areequal
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?