Closed pevnak closed 1 month ago
Test if metatheory is faster then SymbolicUtils or vice versa.
Try to use metatheory 4.0
Test if metatheory is faster then SymbolicUtils or vice versa.
Try to use metatheory 4.0