epost/mcrl2-mode

Emacs mode for mCRL2 specification language

语言：Emacs Lisp · GitHub 星标：2 · Fork：0

话题：emacs-mode · mcrl2 · modeling · process-algebra · verification

在 GitHub 上查看原仓库