GitHub repository: trinnguyen/mcrl2-viewer
Primary language: TypeScript
Created: 2020-07-31T13:00:56Z
Description: VSCode extension: Preview mCRL2 model using Graphviz engine (DOT)