https://github.com/epost/mcrl2-mode
Emacs mode for mCRL2 specification language
https://github.com/epost/mcrl2-mode
emacs-mode mcrl2 modeling process-algebra verification
Last synced: 4 months ago
JSON representation
Emacs mode for mCRL2 specification language
- Host: GitHub
- URL: https://github.com/epost/mcrl2-mode
- Owner: epost
- Created: 2017-12-30T15:34:31.000Z (over 8 years ago)
- Default Branch: master
- Last Pushed: 2017-12-30T15:41:32.000Z (over 8 years ago)
- Last Synced: 2025-04-02T16:25:51.993Z (about 1 year ago)
- Topics: emacs-mode, mcrl2, modeling, process-algebra, verification
- Language: Emacs Lisp
- Size: 0 Bytes
- Stars: 2
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files: