Using META-Maude #1
Description
We currently use regex for parsing and labeling anonymous equations, but using Meta-Maude would make the process more robust and efficient.
{{ message }}
We currently use regex for parsing and labeling anonymous equations, but using Meta-Maude would make the process more robust and efficient.