GitHub - epost/mcrl2-mode: Emacs mode for mCRL2 specification language · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
mcrl2-mode.el		mcrl2-mode.el

About

Emacs mode for mCRL2 specification language

modeling emacs-mode verification process-algebra mcrl2

Report repository

Releases

No releases published

Packages

Contributors

Languages

Emacs Lisp 100.0%