/strat-examples

Examples of the Maude strategy language

Primary LanguagePythonGNU General Public License v3.0GPL-3.0

Stargazers