Integration of the mCRL2 toolset into Spacemacs with Syntax highlighting.
Primary LanguageEmacs LispThe UnlicenseUnlicense