VS Code Extensions

Extensions

lamouriml

1 extension by this developer

Maude System Rewriting Logic Extension

Maude System Rewriting Logic Extension

lamouriml

Maude language support — syntax highlighting, autocomplete, hover documentation, and snippets

Programming Languages Snippets #specification
25