VafaTarighi.mcrl2-tools

mCRL2 Tools

Total downloads

894

7d gain

8

Rolling weekly delta

Rating

- / 5

0 reviews

Version

0.0.6

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: VafaTarighi
Name: mcrl2-tools
License: -
Homepage: https://github.com/VafaTarighi/mcrl2-tools#readme
Repository: https://github.com/VafaTarighi/mcrl2-tools.git
Reviews: 0

Taxonomy

Categories

Other

Description

Adds commands to use mCRL2 tools

Archive

Release history

4 latest releases