Repositories
casper-bach/scopes-frames.hs
casper-bach/mcrl2-mode
Emacs mode for editing mCRL2 and MCF files
casper-bach/mCRL2
The Git repository for the mCRL2 toolset.
Emacs mode for editing mCRL2 and MCF files
The Git repository for the mCRL2 toolset.