⁶Full Maude is available at https://github.com/maude-team/full-maude.