VS Code Extensions

Extensions

VafaTarighi

2 extensions by this developer

mCRL2 Icons

mCRL2 Icons

VafaTarighi

File icons for mCRL2 formal verification files

Themes #theme
14
mCRL2 Tools

mCRL2 Tools

VafaTarighi

Adds commands to use mCRL2 tools

Other #mcrl2
5