VS Code Extensions

mar

1 extension by this developer

UCLID5 Language: Syntax Highlighting

UCLID5 Language: Syntax Highlighting

mar

Syntax highlighting and snippets for the UCLID5 modeling and verification language.

Programming Languages #snippet